Publications of Konstantinos Sagonas

period 1997 - 2002

Articles in internationally reviewed journals

9 references

• Demoen, Bart; Sagonas, Konstantinos. Heap memory management in Prolog with tabling: Principles and practice, Journal of Functional and Logic Programming, volume 2001, issue 9, pages 1-56, 2001

  @article{133688,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Heap memory management in {P}rolog with tabling: {P}rinciples and practice",
    journal = "Journal of Functional and Logic Programming",
    volume = "2001",
    number = "9",
    pages = "1--56",
    month = Oct,
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/133688",
  }
  

• Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny. Termination proofs for logic programs with tabling, ACM Transactions on Computational Logic, volume 2, issue 1, pages 57-92, 2001

  @article{133889,
    author = "Verbaeten, Sofie and Sagonas, Konstantinos and De Schreye, Danny",
    title = "Termination proofs for logic programs with tabling",
    journal = "ACM Transactions on Computational Logic",
    volume = "2",
    number = "1",
    pages = "57--92",
    year = "2001",
    doi = "10.1145/371282.371357",
    url = "https://lirias.kuleuven.be/handle/123456789/133889",
  }
  

• Demoen, Bart; Sagonas, K.. CHAT: the copy-hybrid approach to tabling, Future Generation Computer Systems, volume 16, issue 7, pages 809-830, 2000

  @article{124041,
    author = "Demoen, Bart and Sagonas, K.",
    title = "{CHAT}: the copy-hybrid approach to tabling",
    journal = "Future Generation Computer Systems",
    volume = "16",
    number = "7",
    pages = "809--830",
    month = May,
    year = "2000",
    doi = "10.1016/S0167-739X(99)00092-8",
    url = "https://lirias.kuleuven.be/handle/123456789/124041",
  }
  

• Demoen, Bart; Sagonas, K.. Memory management for Prolog with tabling, ACM SIGPLAN Notices, volume 34, issue 3, pages 97-106, 1999

  @article{125067,
    author = "Demoen, Bart and Sagonas, K.",
    title = "Memory management for {P}rolog with tabling",
    journal = "ACM SIGPLAN Notices",
    volume = "34",
    number = "3",
    pages = "97--106",
    month = Mar,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/125067",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, Journal of Functional and Logic Programming, volume 1999, pages 1-38, 1999

  @article{133966,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CAT}: the copying approach to tabling",
    journal = "Journal of Functional and Logic Programming",
    volume = "1999",
    pages = "1--38",
    month = Nov,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133966",
  }
  

• Ramakrishnan, I.V.; Rao, Prasad; Sagonas, Konstantinos; Swift, T.; Warren, D S.. Efficient tabling mechanics for logic programs, Journal of Logic Programming, volume 38, issue 1, pages 31-54, 1999

  @article{134695,
    author = "Ramakrishnan, I.V. and Rao, Prasad and Sagonas, Konstantinos and Swift, T. and Warren, D S.",
    title = "Efficient tabling mechanics for logic programs",
    journal = "Journal of Logic Programming",
    volume = "38",
    number = "1",
    pages = "31--54",
    month = Jan,
    year = "1999",
    doi = "10.1016/S0743-1066(98)10013-4",
    url = "https://lirias.kuleuven.be/handle/123456789/134695",
  }
  

• Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. Semantic-based program analysis for logic-based languages using XSB, International Journal of Software Tools for Technology Transfer, volume 2, issue 1, pages 29-45, 1998

  @article{133503,
    author = "Codish, Michael and Demoen, Bart and Sagonas, Konstantinos",
    title = "Semantic-based program analysis for logic-based languages using {XSB}",
    journal = "International Journal of Software Tools for Technology Transfer",
    volume = "2",
    number = "1",
    pages = "29--45",
    month = Jan,
    year = "1998",
    doi = "10.1007/s100090050016",
    url = "https://lirias.kuleuven.be/handle/123456789/133503",
  }
  

• Sagonas, Konstantinos; Leuschel, Michael. Extending partial deduction to tabled execution: some results and open issues, ACM Computing Surveys, volume 30, issue 3es, pages 1-4, 1998

  @article{134696,
    author = "Sagonas, Konstantinos and Leuschel, Michael",
    title = "Extending partial deduction to tabled execution: some results and open issues",
    journal = "ACM Computing Surveys",
    volume = "30",
    number = "3es",
    pages = "1--4",
    month = Sep,
    year = "1998",
    doi = "10.1145/289121.289137",
    url = "https://lirias.kuleuven.be/handle/123456789/134696",
  }
  

• Sagonas, Konstantinos; Swift, T.. An abstract machine for tabled execution of fixed-order stratified logic programs, ACM Transactions on Programming Languages and Systems, volume 20, issue 3, pages 586-634, 1998

  @article{134697,
    author = "Sagonas, Konstantinos and Swift, T.",
    title = "An abstract machine for tabled execution of fixed-order stratified logic programs",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "20",
    number = "3",
    pages = "586--634",
    month = May,
    year = "1998",
    doi = "10.1145/291889.291897",
    url = "https://lirias.kuleuven.be/handle/123456789/134697",
  }
  

Papers at international conferences and symposia, published in full in proceedings

19 references

• Vandeginste, Ruben; Sagonas, Konstantinos; Demoen, Bart. Segment order preserving and generational garbage collection for Prolog, Krishnamurthi, S.; Ramakrishnan, C.R (eds.), Practical Aspects of Declarative Languages, Portland, Oregon, USA, January 19-20, 2002, Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Proceedings, volume 2257, pages 299-317

  @inproceedings{133021,
    author = "Vandeginste, Ruben and Sagonas, Konstantinos and Demoen, Bart",
    title = "Segment order preserving and generational garbage collection for {P}rolog",
    booktitle = "Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Proceedings, ",
    editor = "Krishnamurthi, S. and Ramakrishnan, C.R.",
    pages = "299--317",
    year = "2002",
    doi = "10.1007/3-540-45587-6\_{}19",
    url = "https://lirias.kuleuven.be/handle/123456789/133021",
  }
  

• Vandeginste, Ruben; Sagonas, Konstantinos; Demoen, Bart. Segment order preserving and generational garbage collection for Prolog, Pontelli, E (ed.), Colloquium on Implementation of Constraint and LOgic Programming Systems, Paphos, Cyprus, December 1, 2001, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), volume TR-CS-003/2001, pages 81-95

  @inproceedings{133952,
    author = "Vandeginste, Ruben and Sagonas, Konstantinos and Demoen, Bart",
    title = "Segment order preserving and generational garbage collection for {P}rolog",
    booktitle = "Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), ",
    editor = "Pontelli, E.",
    pages = "81--95",
    year = "2001",
    url = "https://lirias.kuleuven.be/handle/123456789/133952",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. Heap garbage collection in XSB: Practice and experience, Pontelli, E.; Santos Costa, V (eds.), Second International Workshop on Practical Aspects of Declarative Languages, Boston, USA, January 17-18, 2000, Practical Aspects of Declarative Languages, volume 1753, pages 93-108

  @inproceedings{166999,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Heap garbage collection in {XSB}: {P}ractice and experience",
    booktitle = "Practical Aspects of Declarative Languages, ",
    editor = "Pontelli, E. and Santos Costa, V.",
    pages = "93--108",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166999",
  }
  

• Demoen, Bart; Sagonas, K.. CHAT: The Copy-Hybrid Approach to Tabling, Gupta, G (ed.), First International Workshop on Practical Aspects of Declarative Languages, San Antonio, Texas, USA, Januari 1999, Proceedings of First International Workshop on Practical Aspects of Declarative Languages, volume 1551, pages 106-121, Springer-verlag berlin

  @inproceedings{123768,
    author = "Demoen, Bart and Sagonas, K.",
    title = "{CHAT}: {T}he {C}opy-{H}ybrid {A}pproach to {T}abling",
    booktitle = "Proceedings of First International Workshop on Practical Aspects of Declarative Languages, ",
    editor = "Gupta, G.",
    publisher = "Springer-verlag berlin",
    pages = "106--121",
    year = "1999",
    doi = "10.1007/3-540-49201-1\_{}8",
    url = "https://lirias.kuleuven.be/handle/123456789/123768",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CHAT is $heta$(SLG-WAM), Ganzinger, H.; Mc. Allester, D.; Voronkov, A (eds.), 6th International Conference on Logic for Programming and Automated Reasoning, Tbilisi, Georgia, september 1999, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, volume 1705, pages 337-357

  @inproceedings{132355,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CHAT} is $heta$({SLG}-{WAM})",
    booktitle = "Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, ",
    editor = "Ganzinger, H. and Mc. Allester, D. and Voronkov, A.",
    pages = "337--357",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132355",
  }
  

• Verbaeten, Sofie; Sagonas, K.; De Schreye, Danny. Modular termination proofs for prolog with tabling, Nadathur, Gopalan (ed.), Principles and Practice of Declarative Programming, Paris, France, September/October 1999, Principles and Practice of Declarative Programming, Proceedings of PPDP'99, volume 1702, pages 342-359, Springer-verlag berlin

  @inproceedings{125422,
    author = "Verbaeten, Sofie and Sagonas, K. and De Schreye, Danny",
    title = "Modular termination proofs for prolog with tabling",
    booktitle = "Principles and Practice of Declarative Programming, Proceedings of PPDP'99, ",
    editor = "Nadathur, Gopalan",
    publisher = "Springer-verlag berlin",
    pages = "342--359",
    year = "1999",
    doi = "10.1007/10704567\_{}21",
    url = "https://lirias.kuleuven.be/handle/123456789/125422",
  }
  

• Bruynooghe, Maurice; Leuschel, Michael; Sagonas, Konstantinos. A polyvariant binding-time analysis for off-line partial deduction, Hankin, Chris (ed.), European Symposium on Programming, Lisboa, Portugal, March 1998, Lecture Notes in Computer Science, volume 1381, pages 27-41, Springer

  @inproceedings{166784,
    author = "Bruynooghe, Maurice and Leuschel, Michael and Sagonas, Konstantinos",
    title = "A polyvariant binding-time analysis for off-line partial deduction",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Hankin, Chris",
    publisher = "Springer",
    pages = "27--41",
    year = "1998",
    doi = "10.1007/BFb0053561",
    url = "https://lirias.kuleuven.be/handle/123456789/166784",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Termination analysis for tabled logic programming, Fuchs, N (ed.), 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 1997, Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97, Leuven, Belgium, July 1997, volume 1463, pages 111-127, 1998

  @inproceedings{132301,
    author = "Decorte, Stefaan and De Schreye, Danny and Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Termination analysis for tabled logic programming",
    booktitle = "Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97, Leuven, Belgium, July 1997, ",
    editor = "Fuchs, N.",
    pages = "111--127",
    year = "1998",
    doi = "10.1007/3-540-49674-2\_{}6",
    url = "https://lirias.kuleuven.be/handle/123456789/132301",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. Memory management for Prolog with tabling, ACM SIGPLAN International Symposium on Memory Management, Vancouver, Canada, January 1998, Proceedings of the ACM SIGPLAN International Symposium on Memory Management, pages 97-108

  @inproceedings{166735,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Memory management for {P}rolog with tabling",
    booktitle = "Proceedings of the ACM SIGPLAN International Symposium on Memory Management, ",
    pages = "97--108",
    year = "1998",
    doi = "10.1145/286860.286871",
    url = "https://lirias.kuleuven.be/handle/123456789/166735",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: CHAT (of KAT), Diehl, S.; Sestoft, P (eds.), Workshop on Principles of Abstract Machines, Pisa, Italy, september 1998, Proceedings of Workshop on Principles of Abstract Machines, pages 1-15

  @inproceedings{166788,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "A better {CAT} made-in-{B}elgium: {CHAT} (of {KAT})",
    booktitle = "Proceedings of Workshop on Principles of Abstract Machines, ",
    editor = "Diehl, S. and Sestoft, P.",
    pages = "1--15",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/166788",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: CHAT (or KAT), van Raamsdonk, F (ed.), the Benelux Workshop on Logic Programming, Amsterdam, 20 November 1998, Proceedings of the Benelux Workshop on Logic Programming, pages 1-12

  @inproceedings{131229,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "A better {CAT} made-in-{B}elgium: {CHAT} (or {KAT})",
    booktitle = "Proceedings of the Benelux Workshop on Logic Programming, ",
    editor = "van Raamsdonk, F.",
    pages = "1--12",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131229",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Principles of Declarative Programming Joint Symposium on PLILP/ALP, Pisa, Italy, September 1998, Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, Pisa, Italy, September 1998, volume 1490, pages 21-35

  @inproceedings{166973,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CAT}: the copying approach to tabling",
    booktitle = "Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, Pisa, Italy, September 1998, ",
    editor = "Palamidessi, C. and Glaser, H. and Meinke, K.",
    pages = "21--35",
    year = "1998",
    doi = "10.1007/BFb0056605",
    url = "https://lirias.kuleuven.be/handle/123456789/166973",
  }
  

• Janssens, Gerda; Sagonas, Konstantinos. On the use of tabling for abstract interpretation: an experiment with abstract equation systems, First Workshop on Tabulation in Parsing and Deduction, Paris, April 1998, Proceedings of the First Workshop on Tabulation in Parsing and Deduction, pages 118-126

  @inproceedings{132956,
    author = "Janssens, Gerda and Sagonas, Konstantinos",
    title = "On the use of tabling for abstract interpretation: an experiment with abstract equation systems",
    booktitle = "Proceedings of the First Workshop on Tabulation in Parsing and Deduction, ",
    pages = "118--126",
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/132956",
  }
  

• Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, Fuchs, N (ed.), 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 1997, Logic Program Synthesis and Transformation, Proceedings of 7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97), Leuven, Belgium, July 1997, volume 1463, pages 189-205, 1998

  @inproceedings{132299,
    author = "Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Preserving termination of tabled logic programs while unfolding",
    booktitle = "Logic Program Synthesis and Transformation, Proceedings of 7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97), Leuven, Belgium, July 1997, ",
    editor = "Fuchs, N.",
    pages = "189--205",
    year = "1998",
    doi = "10.1007/3-540-49674-2\_{}10",
    url = "https://lirias.kuleuven.be/handle/123456789/132299",
  }
  

• Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. XSB as the natural habitat for general Purpose program analysis, Fourteenth International Conference on Logic Programming, Leuven, Fourteenth International Conference on Logic Programming, 416 pages, 1997

  @inproceedings{132839,
    author = "Codish, Michael and Demoen, Bart and Sagonas, Konstantinos",
    title = "{XSB} as the natural habitat for general {P}urpose program analysis",
    booktitle = "Fourteenth International Conference on Logic Programming, ",
    pages = "416",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132839",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Termination analysis for tabled logic programming (extended abstract), 7th International Workshop on Logic Program Synthesis and Transformation,, Leuven, July 1997, Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation,

  @inproceedings{132988,
    author = "Decorte, Stefaan and De Schreye, Danny and Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Termination analysis for tabled logic programming (extended abstract)",
    booktitle = "Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation,, ",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132988",
  }
  

• Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Leuven, July 1997, Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96)

  @inproceedings{166737,
    author = "Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Preserving termination of tabled logic programs while unfolding",
    booktitle = "Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), ",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166737",
  }
  

• Rao, Prasad; Sagonas, Konstantinos; Swift, T.; Warren, D S.; Freire, J.. XSB: A system for efficiently computing WFS, Dix, J.; Furbach, U.; Nerode, A (eds.), Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Lecture Notes in Computer Science 1265, pages 430-440

  @inproceedings{134523,
    author = "Rao, Prasad and Sagonas, Konstantinos and Swift, T. and Warren, D S. and Freire, J.",
    title = "{XSB}: {A} system for efficiently computing {WFS}",
    booktitle = "Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Lecture Notes in Computer Science 1265, ",
    editor = "Dix, J. and Furbach, U. and Nerode, A.",
    pages = "430--440",
    month = Jul,
    year = "1997",
    doi = "10.1007/3-540-63255-7\_{}33",
    url = "https://lirias.kuleuven.be/handle/123456789/134523",
  }
  

• Sagonas, Konstantinos. Problems and prospects for the specialization of tabled logic programs, Port Jefferson, New York, Proceedings of the International Workshop on Specialization of Declarative Programs and Its Applications, pages 89-92, 1997

  @inproceedings{134451,
    author = "Sagonas, Konstantinos",
    title = "Problems and prospects for the specialization of tabled logic programs",
    booktitle = "Proceedings of the International Workshop on Specialization of Declarative Programs and Its Applications",
    pages = "89--92",
    month = Oct,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134451",
  }
  

Internal reports

8 references

• Sagonas, Konstantinos; Demoen, Bart. From (multi-)generational to segment order preserving copying garbage collection for the WAM, CW Reports, volume CW303, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000

  @techreport{132432,
    author = "Sagonas, Konstantinos and Demoen, Bart",
    title = "From (multi-)generational to segment order preserving copying garbage collection for the {WAM}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW303",
    month = Oct,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132432",
  }
  

• Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny. Modular termination proofs for Prolog with tabling, CW Reports, volume CW279, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1999

  @techreport{166984,
    author = "Verbaeten, Sofie and Sagonas, Konstantinos and De Schreye, Danny",
    title = "Modular termination proofs for {P}rolog with tabling",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW279",
    month = Sep,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/166984",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. Experiences with building garbage collectors for XSB-CHAT, CW Reports, volume CW272, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998

  @techreport{132063,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Experiences with building garbage collectors for {XSB}-{CHAT}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW272",
    month = Sep,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/132063",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. Memory management for Prolog with tabling, CW Reports, volume CW261, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998

  @techreport{131536,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Memory management for {P}rolog with tabling",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW261",
    month = Apr,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131536",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: KAT or CHAT, CW Reports, volume CW268, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998

  @techreport{131579,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "A better {CAT} made-in-{B}elgium: {KAT} or {CHAT}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW268",
    month = Jun,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131579",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, CW Reports, volume CW262, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998

  @techreport{131838,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CAT}: the copying approach to tabling",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW262",
    month = Apr,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131838",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CHAT is Theta (SLGWAM), CW Reports, volume CW269, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998

  @techreport{131837,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CHAT} is {T}heta ({SLGWAM})",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW269",
    month = Jul,
    year = "1998",
    url = "https://lirias.kuleuven.be/handle/123456789/131837",
  }
  

• Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, CW Reports, volume CW256, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1997

  @techreport{132380,
    author = "Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Preserving termination of tabled logic programs while unfolding",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW256",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132380",
  }
  

No publications found for the period 1997-2002 and the types

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in book, internationally recognised scientific publisher
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at international conferences and symposia
• Meeting abstracts, presented at other conferences and symposia
• Thesis
• Review
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 38 publications of Konstantinos Sagonas.