Antonis C. Kakas

Antonis C. Kakas is a Professor in the Department of Computer Science at the University of Cyprus. His work spans computational logic, abduction, argumentation, and reasoning about actions and change.

• Education:
  • B.Sc. in Mathematics, Imperial College London (1980)
  • M.Sc. in Computer Science, Imperial College London (1987)
  • Ph.D. in Theoretical Physics, Imperial College London (1984)

Research focuses on Computational Logic, including Abductive Logic Programming, Argumentation, and Autonomous Agents. His projects involved EU-funded initiatives like Computing II, CompuCyprus, and SOCS.

Key software developments include ACLP (Abductive Constraint Logic Programming), E-RES (reasoning about actions), and Gorgias (argumentation systems). Recent publications (2000-2005) explore integration of abduction with machine learning, agent deliberation, and answer set programming.