Find Experts

Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View More
Kakas Antonis

PROFESSOR
Department of Computer Science
Cyprus University of Technology
Cyprus

Academician Engineering
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 Intrest

Computational Logic. * Abduction and Induction. * Argumentation. * Commonsense reasoning. * Cognitive Systems.

List of 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.

Global Scientific Words in Engineering

Experts in Cyprus
Constantia Alexandrou Georgios Archontis Constantinos Christofides Gregorios Itskos Konstantinos Moulopoulos Andreas Othonos Haralambos Panagopoulos Fotios Ptochos Spiros Skourtis Stavros Theodorakis Nicolaos Toumbas Haralambos Tsertos Jehad Mousa Efstathiou M. Angelos Keramidas D. Anastasios Koutentis A. Panayiotis Leontidis Epameinondas Pashalidis Ioannis Patrickios S. Costas Theocharis R. Charis Chronakis Nikos Hayes C. Sophia Kapnissi - Christodoulou P. Constantina Nicolaides Athanassios Tasiopoulos J. Anastasios View More