Kefalas – Intelligent Systems Lab

Kefalas

N. Bassiliades, I. Sakellariou, P. Kefalas, “Demonstrating Multiple Prolog Programming Techniques through a Single Operation”, In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R., Rossi, F. (eds), Prolog: The Next 50 Years, Lecture Notes in Computer Science, vol. 13900, Springer, Cham, 2023.

I. Vlahavas, P. Kefalas, N. Bassiliades, F. Kokkoras, I. Sakellariou, “Artificial Intelligence, 4th edition (in Greek - Τεχνητή Νοημοσύνη, Δ' Έκδοση)", Book, Έκδοση/Διάθεση: Εκδόσεις Πανεπιστημίου Μακεδονίας, ISBN 978-618-5196-44-8, 1000 pages, 2020

I. Sakellariou, G. Eleftherakis, I. Vlahavas, P. Kefalas, “Animating Formal Models in a Communicating Sequential Process Platform”, 10th Panhellenic Conference on Informatics, Local Proceedings, P. Bozanis and E. Houstis (Eds.), pp. 174-183, 2005.

I. Vlahavas, P. Kefalas, I. Sakellariou, C. Halatsis, “The Basic OASys Model: Preliminary Results”, Proc. 6th Hellenic Conference on Informatics, pp. 723-731, 1997.

P. Kefalas, I. Vlahavas, “Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs”, Proc. Parallel Processing (Euro-Par '96), Bouge, P. Fraigniaud, A. Mignotte and Y. Robert (Eds.), Springer-Verlag, LNCS 1123, pp. 694-703, 1996.

P. Kefalas, E. Tzelalis, “GRS-Prolog: Applying Different Resolution Strategies to Prolog Programs”, Proc. 5th Hellenic Conference on Information Techology, 1995.

I. Vlahavas, P. Kefalas, “An Abstract Prolog Machine Based on Parallel Resolution Principle”, Proc. Microprocessing and Microprogramming (Euromicro '92), North-Holland, No. 35, pp. 755-762, 1992.

T. Reynolds, P. Kefalas, “BRAVE: An OR-Parallel dialect of Prolog and its Application to AI”, Proc. 1st and 2nd International Conference in Logic Programming in Soviet Union, Springer-Verlag, LNAI 592, 1991.

P. Kefalas, T. Reynolds, “Controlling Search with meta-BRAVE”, Proc. ICLP'91 Workshop in Parallel Execution of Logic Programs, A. Beaumont and G. Gupta (Eds.), Springer-Verlag, LNCS 569, 1991.

P. Kefalas, T. Reynolds, “Hill-Climbing and Genetic Algorithms coded using OR-parallel Logic plus Meta-Control”, Proc. IJCAI'91 1st International Workshop on Parallel Processing for AI, 1991.

Address

School of Informatics
Aristotle University of Thessaloniki
54124 Thessaloniki, Greece

Contact

Prof. Ioannis P. Vlahavas
tel: ++30 231099-8145
fax: ++30 231099-8362
e-mail: vlahavas@csd.auth.gr

Useful Pages

© 2024

Intelligent Systems Lab