Manolis Gergatsoulis, Panos Rondogiannis (eds.). Intensional Programming II. World Scientific, 2000. (ISBN 981-02-4095-3).
Maria Katzouraki, Manolis Gergatsoulis, Savros Kokkotos. PROgramming in LOGic: with Applications in Artificial Intelligence. Hellenic Computer Society, 1991.

Refereed Journal and Conference Publications (by year):

2012-

Panorea Gaitanou, Manolis Gergatsoulis. Defining a semantic mapping of VRA Core 4.0 to the CIDOC Conceptual Reference Model. (submitted for publication).

Lina Bountouri, Manolis Gergatsoulis. The Semantic Mapping of Archival Metadata to the CIDOC CRM ontology. Journal of Archival Organization (to appear).

2011

Foto Afrati, Matthew Damigos, Manolis Gergatsoulis. Union Rewritings for XPath fragments. In Bipin C. Desai, Isabel F. Cruz, Jorge Bernardino (Eds.): 15th International Database Engineering and Applications Symposium (IDEAS 2011), September 21 - 27, 2011, Lisbon, Portugal. Pages 43-51, ACM 2011. [abstract].
(Accepted 15.38%)

Panorea Gaitanou, Manolis Gergatsoulis. A semantic mapping of VRA Core 4.0 to the CIDOC Conceptual Reference Model. In E. García-Barriocanal, Z. Cebeci, M. C. Okur, A. Öztürk (eds.), Metadata and Semantic Research, 5th International Conference MTSR 2011, Izmir, Turkey, October 12-14, 2011, Proceedings, Communications in Computer and Information Science, Vol. 240, pp. 387-399, Springer 2011. [abstract].

Foto Afrati, Matthew Damigos, Manolis Gergatsoulis. Rewriting real conjunctive queries using viewsets of minimal-size. It will be presented in the 8th Panhellenic Logic Symposium, Ioannina, Greece, July 4-8 2011. [abstract].

Lina Bountouri, Manolis Gergatsoulis. Mapping Encoded Archival Description to CIDOC CRM. In Proceedings of the First Workshop on Digital Information Management, pp. 8-25, Corfu, Greece, March 30-31, 2011.
[ Citations].

Panorea Gaitanou, Manolis Gergatsoulis. Mapping VRA Core 4.0 to the CIDOC/CRM ontology. In Proceedings of the First Workshop on Digital Information Management, pp. 26-38, Corfu, Greece, March 30-31, 2011.
[Citations].

Nikolaos Fousteris, Manolis Gergatsoulis, Yannis Stavrakas. MXML Storage and the problem of manipulation of context. In Proceedings of the First Workshop on Digital Information Management, pp. 45-60, Corfu, Greece, March 30-31, 2011.

2010

Lina Bountouri, Christos Papatheodorou, Manolis Gergatsoulis. Modelling the Public Sector Information through CIDOC Conceptual Reference Model. In R. Meersman, T. Dillon and P. Herrero (eds.), On the Move to Meaningful Internet Systems: OTM 2010 Workshops (6th International Workshop on Ontology Content (OnToContent 2010)). Crete, Greece, October 25 - 29, 2010. Lecture Notes in Computer Science, Vol. 6428, pp. 404-413, Springer-Verlag, 2010. [abstract].

Manolis Gergatsoulis, Lina Bountouri, Panorea Gaitanou, Christos Papatheodorou. Query transformation in a CIDOC CRM based cultural metadata integration environment. In M. Lalmas, J. Jose, A. Rauber, F. Sebastiani and I. Frommholz (eds.), Research and Advanced Technology for Digital Libraries 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010. Proceedings. Lecture Notes in Computer Science, 2010, Vol. 6273, pp. 38-45, Springer, 2010. [abstract].

(Accepted 35.29%)

[Citations].

Foto Afrati, Matthew Damigos, Manolis Gergatsoulis. Query Containment under Bag and Bag-set Semantics. Information Processing Letters, 110(10):360-369, April 2010. [abstract].
[Citations].

Manolis Gergatsoulis, Lina Bountouri, Panorea Gaitanou, Christos Papatheodorou. Mapping Cultural Metadata Schemas to CIDOC Conceptual Reference Model. In S. Konstantopoulos et al. (eds.), Proceedings of the 6th Hellenic Conference on Artificial Intelligence. Athens, Greece, 4-7 May, 2010. Lecture Notes in Artificial Intelligence, Vol. 6040, pp. 321–326, Springer-Verlag, 2010. [abstract].

2009

Manolis Gergatsoulis, Pantelis D. Lilis, Irene Lourdi, Christos Papatheodorou. Representing Context-Dependent Information in Cultural Collections. International Journal of Semantic Computing, 3(2):255-276, June 2009. [abstract].

Lina Bountouri, Manolis Gergatsoulis. Interoperability between archival and bibliographic metadata: an EAD to MODS crosswalk. Journal of Library Metadata, 9(1&2):98-133, 2009. [abstract].
[Citations].

Lina Bountouri, Manolis Gergatsoulis, Christos Papatheodorou. Integrating Cultural Heritage Information Sources. Presented at the First workshop on 'Large Scale and Federated Information Spaces' organized by the ERCIM-DIS working group, Paris France, May 27th 2009.
Available at: http://www.ercim-dis.org/ercim_dis_09.pdf. [abstract].

Foto Afrati, Rada Chirkova, Manolis Gergatsoulis, Benny Kimelfeld, Vassia Pavlaki, Yehoshua Sagiv. On Rewriting XPath Queries using Views. In M. Kersten, B. Novikov, J. Teubner, V. Polutin, and S. Manegold (eds.), Advances in Database Technology - EDBT 2009, Proceedings of the 12th International Conference on Extending Database Technology, pp. 168-179, Saint Petersburg, Russia, March 24-26, ACM 2009. [abstract], [PDF].
(Accepted 22.55%) [Citations].

2008

Nikolaos Fousteris, Yannis Stavrakas, Manolis Gergatsoulis. Multidimensional XPath. In Gabriele Kotsis, David Taniar, Eric Pardede, and Ismail Khalil Ibrahim (eds.), Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2008), pp. 162-169, Linz, Austria, November 24-26, ACM 2008. [abstract], [PDF].
[Citations].
Foto Afrati, Matthew Damigos, Manolis Gergatsoulis. On solving efficiently the View Selection Problem under Bag-semantics. In Malu Castellanos, Umesh Dayal, and Timos Sellis (eds.), Business Intelligence for the Real-Time Enterprise, Second International Workshop, BIRTE 2008, Auckland, New Zealand, August 2008, Revised Selected Papers, Lecture Notes in Business Information Processing, Vol. 27, pp. 12-28, Springer 2009. [abstract], [PDF].
Nikolaos Fousteris, Manolis Gergatsoulis, Yannis Stavrakas. Updating Multidimensional XML documents. International Journal of Web Information Systems, 4(2):142-164, 2008. [abstract]
[Citations].

2007

Thomais Stasinopoulou, Lina Bountouri, Constantia Kakali, Irene Lourdi, Christos Papatheodorou, Martin Doerr, Manolis Gergatsoulis. Ontology-based Metadata Integration in the Cultural Heritage Domain. In D.H.-L. Goh, I. Sølvberg, E. Rasmussen, and T.H. Cao (eds.), Asian Digital Libraries - Looking Back 10 Years and Forging New Frontiers. 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007, Proceedings. Lecture Notes in Computer Science, Vol. 4822, pp. 165-175, Springer-Verlag, 2007. [abstract], [PDF].
(Accepted 26.62%)

[Citations].

Nikolaos Fousteris, Manolis Gergatsoulis, Yannis Stavrakas. Updating Multidimensional XML documents. In Gabriele Kotsis, David Taniar, Eric Pardede, and Ismail Khalil Ibrahim (eds.), Proceedings of the 9th International Conference on Information Integration and Web-based Applications & Services (iiWAS2007), pp. 257-266, Jakarta, Indonesia, December 3-5, 2007. [abstract], [PDF].
(Accepted 28%)

Lina Bountouri, Manolis Gergatsoulis. Interoperability between archival and bibliographic metadata (poster). In Proceedings of the First International Workshop on Cultural Heritage on the Semantic Web, pp. 107-108, Busan, Korea, 12 November, 2007.

[abstract].

Nikolaos Fousteris, Yannis Stavrakas, Manolis Gergatsoulis. Storing-updating and querying Multidimensional XML documents using relational databases. In Pedro Isaías, Miguel Baptista Nunes and João Barroso (eds.), Proceedings of the IADIS International Conference WWW/INTERNET 2007, Vol. I, pp. 288-298, Vila Real, Portugal, October 5-8, 2007. [abstract], [PDF].

(Accepted 21%)

Nikolaos Fousteris, Manolis Gergatsoulis, Yannis Stavrakas. Storing Multidimensional XML documents in Relational Databases. In R. Wagner, N. Revell, and G. Pernul (eds.), Database and Expert Systems Applications (DEXA' 2007), International Conference, Regensburg, Germany, 3-7 September, 2007, Proceedings, Lecture Notes in Computer Science, Vol. 4653, pp. 23-33, Springer-Verlag, 2007. [abstract], [PDF].
(Accepted 32.21%)

[Citations].

Constantia Kakali, Irene Lourdi, Thomais Stasinopoulou, Lina Bountouri, Christos Papatheodorou, Martin Doerr, Manolis Gergatsoulis. Integrating Dublin Core metadata for cultural heritage collections using ontologies. In Proceedings of the International Conference on Dublin Core and Metadata Applications 2007, pp. 128-139, Singapore, August 27-31, 2007. [abstract], [PDF].

[Citations].

Foto Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki. View Selection for Real Conjunctive Queries. Acta Informatica, 44(5):289-321, September 2007. [abstract].
[Citations].

2006

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis. A Value-propagating Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. Fundamenta Informaticae, 72(4):485-527, August 2006. [abstract].
Foto Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki. Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons. In Y. E. Ioannidis, M. H. Scholl, J. W. Schmidt, F. Matthes, M. Hatzopoulos, K. Böhm, A. Kemper, T. Grust, and C. Böhm (eds.), Advances in Database Technology - EDBT 2006, 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006, Proceedings. Lecture Notes in Computer Science, Vol. 3896, pp. 942-960, Springer-Verlag, 2006. [abstract], [PDF].
(Accepted 15.91%) [Citations].
Lina Bountouri, Manolis Gergatsoulis. Ontology – based Semantic Integration. Ιn Proceedings of the 15th Pan-Hellenic Academic Libraries Conference, pages 110-123, Patra, Greece, 1-3 November, 2006. (in Greek).

[Citations].
Irene Lourdi, Pantelis D. Lilis, Manolis Gergatsoulis. Representing and manipulating time-depended information in cultural collections. Ιn Proceedings of the 15th Pan-Hellenic Academic Libraries Conference, pages 96-108, Patra, Greece, 1-3 November, 2006. (in Greek).

2005

Pantelis Lilis, Irene Lourdi, Chistos Papatheodorou, Manolis Gergatsoulis. A metadata model for representing time-dependent information in cultural collections. In Salvador Sanchez-Alonso (ed.), Advances in Metadata Research, Proceedings of First on-line Conference on Metadata and Semantics Research (MTSR'05), pp. 1-12, 21-30 November, 2005, Rinton Press, 2006. [abstract].
Manolis Gergatsoulis, Pantelis Lilis. Multidimensional RDF. In Robert Meersman, and Zahir Tari (eds.), On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II. Lecture Notes in Computer Science, Vol. 3761, pp. 1188-1205, Springer-Verlag, 2005. [abstract], [PDF].
(Accepted 21.9%)

Citations

Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis. Temporal Stratification Tests for Linear and Branching-time Deductive Databases. Theoretical Computer Science, 342(2-3):382-415, September 2005. [abstract].

Citations

Foto Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki. Designing Views to Efficiently Answer Real SQL Queries. In Jean-Daniel Zucker, Lorenza Saitta (eds.), Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 2005, Proceedings. Lecture Notes in Artificial Intelligence, Vol. 3607, pp. 332-346, Springer-Verlag, 2005. [abstract], [PDF].

2004

Manolis Gergatsoulis, Christos Nomikos. A proof procedure for temporal logic programming. International Journal of Foundations of Computer Science, 15(2):417-443, April 2004. [abstract].
[Citations]
Yannis Stavrakas, Manolis Gergatsoulis, Christos Doulkeridis, Vassilis Zafeiris. Representing and Querying Histories of Semistructured Databases using Multidimensional OEM. Information Systems, 29(6):461-482, September 2004. [abstract].
[Citations].
Petros Potikas, Manolis Gergatsoulis, Panos Rondogiannis. Using Branching-time Logic to Optimize an Extended Class of Datalog Programs. In G. Vouros and Th. Panayiotopoulos (eds.), Proceedings of the 3rd Hellenic Conference on Artificial Intelligence (SETN'04), (Companion Volume), pp. 197-206, Samos, Greece, 5-8 May, 2004. [abstract], [PDF].

2003

Foto Afrati, Manolis Gergatsoulis, Francesca Toni. Linearizability on Datalog Programs. Theoretical Computer Science, 308(1-3):199-226, November 2003. [PDF].
[Citations]
Manolis Gergatsoulis, Yannis Stavrakas. Representing Changes in XML Documents using Dimensions. In Z. Bellahsene, A. B. Chaudhri, E. Rahm, M. Rys, and R. Unland (eds.), Database and XML Technologies, Proceedings of the Fifth International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003. Lecture Notes in Computer Science, Vol. 2824, pp. 208-222, Springer-Verlag, 2003. [abstract],

PDF

Accepted 27.7%)

Citations

2002

Yannis Stavrakas, Manolis Gergatsoulis, Christos Doulkeridis, Vassilis Zafeiris. Accommodating Changes in Semistructured Databases Using Multidimensional OEM. In Y. Manolopoulos and P. Navat (eds.), Advances in Databases and Information Systems, Proceedings of the Fifth East-European Conference (ADBIS' 2002), Bratislava, Slovakia, September 8-11, 2002. Lecture Notes in Computer Science, Volume 2435, pp. 360-373, Springer-Verlag, 2002. [PDF].
(Accepted 21.7%) [Citations]
Vassilis Zafeiris, Christos Doulkeridis, Yannis Stavrakas, Manolis Gergatsoulis. An Infrastructure for Manipulating Multidimensional Semistructured Data. In Proceedings of the Hellenic Data Management Symposium (HDMS'02), Athens, Greece, July 22-23, 2002. [PDF].
(Accepted 42.9%) [Citations]
Yannis Stavrakas, Manolis Gergatsoulis. Multidimensional Semistructured Data: Representing Context-Dependent Information on the Web. In A. B. Pidduck, J. Mylopoulos, C. Woo, and T. Oszu (eds.), Advanced Information Systems Engineering, 14th International Conference (CAISE' 2002), Toronto, Ontario, Canada, May 27-31, 2002, Proceedings. Lecture Notes in Computer Science, Vol. 2348, pp. 183-199, Springer-Verlag, 2002. [PDF].
(Accepted 24.3%) [Citations].

2001

Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos. Temporal Disjunctive Logic Programming. New Generation Computing, 19(1):87-100, 2001. [PDF] [Citations].
Panos Rondogiannis, Manolis Gergatsoulis. The Branching-time Transformation Technique for Chain Datalog Programs. Journal of Intelligent Information Systems, 17(1):71-94, November 2001. [PDF].
[Citations].
Theodoros Mitakos, Manolis Gergatsoulis, Yannis Stavrakas, Efstathios V. Ioannidis. Representing Time-Dependent Information in Multidimensional XML. Journal of Computing and Information Technology, 9(3):233-238, September 2001.
[Citations].
Manolis Gergatsoulis. Temporal and modal logic programming languages. In Allen Kent, and James G. Williams (Executive Editots), Encyclopedia of Microcomputers, Vol. 27, Supplement 6, pp. 393-408, Marcel Dekker, Inc., New York, 2001. [PDF],
[Citations].
Manolis Gergatsoulis, Yannis Stavrakas, Dimitris Karteris. Incorporating Dimensions in XML and DTD. In H. C. Mayr, J. Lazansky, G. Quirchmayr and P. Vogel (eds.), Database and Expert Systems Applications (DEXA' 2001), International Conference, Munich, Germany, September 2001, Proceedings, Lecture Notes in Computer Science, Vol. 2113, pp. 646-656, Springer-Verlag, 2001. [PDF].
(Accepted 53.14%) [Citations].
Manolis Gergatsoulis, Yannis Stavrakas, Dimitris Karteris, Athina Mouzaki, Dimitris Sterpis. A web-based system for handling multidimensional information through MXML. In A. Caplinskas and J. Eder (eds.), Advances in Databases and Information Systems, Proceedings of the Fifth East-European Conference (ADBIS' 2001), Vilnius, Lithuania, September 25-28, 2001. Lecture Notes in Computer Science, Vol. 2151, pp. 352-365, Springer-Verlag, 2001. [PDF].
(Accepted 30.5%) [ Citations].
Theodoros Mitakos, Manolis Gergatsoulis, Yannis Stavrakas, Efstathios V. Ioannidis. Representing Time-Dependent Information in Multidimensional XML. In Damir Kalpic and Vesna Hljuz Dobric (eds.), Proceedings of the 23rd International Conference Information Technology Interfaces (ITI'2001), pp. 111-116, Pula, Croatia, June 19-22, 2001. [PDF].
[Citations].
Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis. A Stratification Test for Temporal Logic Programs. In Proceedings of the 3rd Panhellenic Logic Symposium, Crete, Greece, July 17-21, 2001. [PDF]
Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis. A transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. In A. Pettorossi (ed.), Logic-Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, Selected Papers, Lecture Notes in Computer Science, Vol. 2372, pp. 25-45, 2002. A preliminary version also appears in the Pre-Proceedings of LOPSTR'01, pp. 1-8. [PDF (of full version)].

2000

Manolis Gergatsoulis. Extensions of the branching-time logic programming language Cactus. In Manolis Gergatsoulis, and P. Rondogiannis (eds.), Intensional Programming II, pp. 117-132, World Scientific, 2000.
Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis. Multidimensional XML. In P. Kropf, G. Babin, J. Plaice and H. Unger (eds.), Distributed Communities on the Web (DCW 2000), 3rd International Workshop, Quebec City, Canada, 19-21 June, 2000. Lecture Notes in Computer Science, Vol. 1830, pp. 100-109, Springer-Verlag, 2000.
(Accepted 63.3%) [Citations].
Yannis Stavrakas, Manolis Gergatsoulis, Theodoros Mitakos. Representing Context-Dependent Information Using Multidimensional XML (short paper). In J. Borbinha and T. Baker (eds.), Research and Advanced Technology for Digital Libraries, Proceedings of the 4th European Conference ECDL'2000), Lisbon, Portugal, September 2000, Lecture Notes in Computer Science, Vol. 1923, pp. 368-371, Springer-Verlag, 2000. [PDF].
[Citations].

1999

Foto Afrati, Manolis Gergatsoulis, Theodoros Kavalieros. Answering Queries Using Materialized Views with Disjunctions. In C. Beeri, and P. Buneman (eds.), Proceedings of the 7th International Conference on Database Theory (ICDT’99), Jerusalem, Israel, 10-12 January, 1999. Lecture Notes in Computer Science, Vol. 1540, pp. 435-452, Springer Verlag, 1999. [PDF].
(Accepted 29.2%) [ Citations].

1998

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Branching-Time Logic Programming: The Language Cactus and its Applications. Computer Languages, 24(3):155-178, October 1998. [PDF],
[Citations].
Manolis Gergatsoulis, Costas Spyropoulos. Transformations Techniques for Branching-time Logic programs. In W. W. Wadge (ed.), Proceedings of the 11th International Symposium on Languages for Intensional Programming (ISLIP'98), pp. 65-80, Palo Alto, California, May 7-9, 1998.
[Citations].
Panos Rondogiannis, Manolis Gergatsoulis. The Intensional Implementation Technique for Chain Datalog Programs. In W. W. Wadge (ed.), Proceedings of the 11th International Symposium on Languages for Intensional Programming (ISLIP'98), pp. 55-64, Palo Alto, California, May 7-9, 1998. [PDF]
[Citations].
Manolis Gergatsoulis, Panos Rondogiannis. Temporal and Multidimensional Logic Programming Languages. In Proceedings of the 2nd Conference on Technology and Automation, pp. 223-227, Thessaloniki, Greece, October 2-3, 1998.

1997

Manolis Gergatsoulis. Unfold/fold transformations for Disjunctive Logic programs. Information Processing Letters, 62(1):23-29, April 1997.
[Citations].

Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos. Proof Procedures for Branching time Logic Programs. In W. W. Wadge (ed.), Proceedings of the 10th International Symposium on Languages for Intensional Programming (ISLIP'97), pp. 12-26,Victoria, BC Canada, May 15-17, 1997. [abstract], [PDF]

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos. Cactus: A Branching-time Logic Programming Language. In D. M. Gabbay, R. Kruse and H. J. Ohlbach (eds.), Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR'97), Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Artificial Intelligence, Vol. 1244, pp. 511-524, Springer Verlag, 1997. [PDF]
[Citations].

1996

Foto Afrati, Manolis Gergatsoulis, Maria Katzouraki. On Transformations into Linear Database Logic Programs. In D. Bjorner, M. Broy, I. V. Pottosin (eds.), Perspectives of systems Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Lecture Notes in Computer Science, Vol. 1181, pp. 433-444, Springer-Verlag, 1996. [PDF].
(Accepted 34.6%) [Citations].
Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos Disjunctive Cronolog. In M. Chacravarty, Y Guo, and T. Ida (eds.), Proceedings of the JICSLP'96 Post-Conference Workshop on "Multi-Paradigm Logic Programming", pp. 129-136, Bonn, Germany, 5-6 September, 1996. [abstract], [PDF]
[Citations].
Manolis Gergatsoulis. Logic-based Programming Languages. In Proceedings of the 1st Symposium on Artificial Intelligence (SETN’96), pp. 50-54, 1996.
Nikos Gaitanis, Maria Katzouraki, Manolis Gergatsoulis. Fast and efficient multilingual alphanumeric ordering systems. In Proceedings of the Andrei Ershov Second International Memorial Conference "Perspectives on systems Informatics" (PSI'96), pp. 250-255, Novosibirsk, Akademgorodok, June 25-28, 1996.
(Accepted 65.3%)

1995

Themis Panayiotopoulos, Manolis Gergatsoulis. A Prolog-like temporal reasoning system. In M. H. Hamza (ed.), Proceedings of the 13th IASTED International Conference on Applied Informatics, pp. 123-126, Innsbruck, Austria, February 21-23, 1995. [PDF],
[Citations]
Themis Panayiotopoulos, Manolis Gergatsoulis. Intelligent Information Processing using TRLi. In N. Revell, A. Min Tjoa (eds.), Sixth International Conference and Workshop on “Data Base and Expert Systems Applications (DEXA' 95)”, Workshop Proceedings, pp., 494-501, London, UK, September 4-8, 1995. [PDF].
(Accepted 40%) [Citations]
Maria Katzouraki, Maria Samarakou, Maria Grigoriadou, Manolis Gergatsoulis, Panos Kostarakis. NEFELI: An Intelligent control system for renewable energy sources. In Proceedings of the Symposium on Industrial Applications of Prolog (INAP'95), pp. 111-117, Tokyo, Japan, 19-20 October, 1995.
Maria Katzouraki, Manolis Gergatsoulis, Panos Kostarakis. An Intelligent Environment for solving Elliptic Partial Differential Equations. In A. S. Alekseev, N. S. Bakhvalov (eds.), International Conference on Advanced Mathematics: Computations and Applications (AMCA-95), pp. 667-674, Novosibirsk, Russia, June 20-24, NCC Publisher, 1995.

1994

Manolis Gergatsoulis, Maria Katzouraki. Unfold/fold Transformations for definite clause Programs. In M. Hermenegildo, and J. Penjam (eds.), Proceedings of the International Conference on Programming Language Implementation and Logic Programming (PLILP' 94), Lecture Notes in Computer Science, Vol. 844, pp. 340-354, Springer-Verlag, 1994. [abstract], [PDF].
(Accepted 40.3%) [Citations]
Manolis Gergatsoulis, Maria Katzouraki. An extension of Tamaki and Sato's Unfold/fold Transformations. In Elias Lipitakis (ed.), Proceedings of the Second Hellenic European Conference on Mathematics and Informatics (HERMIS'94), Vol. II, pp. 887-896, Athens, 1994.

1993

Manolis Gergatsoulis, Maria Katzouraki. Program Transformations for Non-linear recursive Logic Programs. In Vlatko Ceric and Vesna Hljuz Dobric (eds.), Proceedings of the 15th International Conference “Information Technology Interfaces” (ITI-93), pp. 155-160, Pula, Croatia, June 15-18, 1993. [abstract], [PDF]
Manolis Gergatsoulis, Maria Katzouraki. Improving the efficiency of Logic Programs through transformations. In Proceedings of the 4th Panhellenic Conference on Informatics, Vol. I, pp. 275-286, Patra, Greece, 1993. (In Greek).

1992

Manolis Gergatsoulis, Maria Katzouraki. A transformation for tupling generalization of Logic Programs. In Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE-92), Toronto, Ontario, September 13-16, Vol. II, 1992.

1991

Costas Halatsis, Maria Katzouraki, Michalis Hatzopoulos, Panayiotis Stamatopoulos, Izambo Karali, Costas Mourlas, Manolis Gergatsoulis, Evangelos Pelecanos. PETINA: PErsonalized Tourist INformation Advisor. In Proceedings of the 3rd Panhellenic Conference on Informatics, Vol. 2, pp. 590-605, Athens, Greece, Hellenic Computer Society 1991. [PDF]

[Citations].
Costas Halatsis, Maria Katzouraki, Costas Mourlas, Manolis Gergatsoulis. ElipSys Language Extensions to Support Numerical and Real-Time Applications. In Proceedings of the 3rd Panhellenic Conference on Informatics, Vol. 1, pp. 69-86, Athens, Greece, 1991. [PDF]

1988

Manolis Gergatsoulis, Maria Katzouraki. D-Prolog: An implementation of Prolog. In Proceedings of the 2nd Panhellenic Conference on Informatics, Vol. 2, pp. 418-426, Thessaloniki, Greece, Hellenic Computer Society, 1988 (in Greek).

Links: