Kakas Antonis
PROFESSOR
Department of Computer Science
Cyprus University of Technology
Cyprus
Biography
Undergraduate studies at the Imperial College, University of London, UK (B.Sc. in Mathematics, 1980). Graduate studies at the Imperial College, University of London, UK (M.Sc. in Computer Science, 1987 and Ph.D. in Theoretical Physics, 1984). He has worked as Research Fellow at Kings College, UK (1984-1986), at the University of Zurich, Switzerland (1987-1988), and at Imperial College, UK (1988-1992). He is a member of the editorial board of the international journals AI Communications, Journal of Applied Logic and Journal of Theory and Applications of Logic Programming.
Research Interest
Computational Logic. * Abduction and Induction. * Argumentation. * Commonsense reasoning. * Cognitive Systems.
Publications
-
Antonis C. Kakas,B. Van Nuffelen and M. Denecker 2001 "A-System: Declarative Problem Solving through Abduction" ,in the proceedings of IJCAI2001, pp. 591-597, Morgan Kaufmann.
-
Antonis C. Kakas,A. Michael, 2001"An Abductive-based Scheduler for Air-crew Assignment" Journal of Applied Artificial Intelligence, Vol. 15 (1-3), pp. 333-360, Taylor & Francis.
-
Antonis C. Kakas,M. Denecker,2002"Abduction in Logic Programming, in Computational Logic: Logic Programming and Beyond" (with M. Denecker), LNAI Vol, 2407, pp. 402-437, Springer Verlag.
