School of Informatics AUTh
T. Reynolds, P. Kefalas, “OR-Parallel Prolog and Search Problems in AI”, Proc. 7th International Conference in Logic Programming, D.H.D. Warren and P. Szeredi (Eds.), MIT Press, 1990.
T. Reynolds, P. Kefalas, “OR-Parallel Logic Languages in Law Applications”, Proc. 3rd International Cong. in Law and Expert Systems, A.A. Martino (Ed.), pp. 579-594, 1989.
I. Vlahavas, P. Kefalas, C. Halatsis, “OASys: An AND/OR Parallel Logic Programming System”, Parallel Computing, Elsevier, Vol. 25, pp. 321-336, 1999.
I. Vlahavas, P. Kefalas, “The AND/OR Parallel Prolog Machine APIM: Execution Model and Abstract Design”, Journal of Programming Languages, Chapman and Hall, Vol. 1, pp. 245-261, 1993.
I. Vlahavas, P. Kefalas, “A Parallel Prolog Resolution Based on Multiple Unifications”, Parallel Computing, Elsevier, Vol. 18, pp. 1275-1283, 1992.
I. Vlahavas, P. Kefalas, N. Bassiliades, F. Kokkoras, I. Sakellariou, “Artificial Intelligence, 3rd edition (in Greek - Τεχνητή Νοημοσύνη, Γ' Έκδοση), Book, Έκδοση/Διάθεση: Εκδόσεις Πανεπιστημίου Μακεδονίας, ISBN 978-960-8396-64-7, 2011.
I. Vlahavas, P. Kefalas, N. Bassiliades, I. Refanidis, F. Kokkoras, I. Sakellariou, “Artificial Intelligence (in Greek - Τεχνητή Νοημοσύνη)”, Book, Gartaganis Publications, ISBN 960-7013-28-X, 2002.
I. Sakellariou, N. Bassiliades, P. Kefalas, D. Stamatis, 2015. Logic Programming Techniques (in Greek - "Τεχνικές Λογικού Προγραμματισμού - Η Γλώσσα Prolog"). [ebook] Athens:Hellenic Academic Libraries Link. Available Online at: http://hdl.handle.net/11419/777