Antonis Kakas is a professor at the Department of Computer Science of the University of Cyprus. He obtained a BSc in Mathematics from Imperial College, London in 1980 and then in 1984 a Ph.D. in Theoretical Physics also from Imperial College, London. Since 1989 he is working in Computational Logic and Artificial Intelligence (AI). He is one of the founders of the area of Abductive Logic Programming with his main research interests being in abduction, argumentation and induction. He has worked on the integration of abductive and inductive logic programming with applications in the areas of multi agent systems, reasoning about actions and change and computational bioscience. He has co-edited the book “Abduction and Induction: Essays on their Relation and Integration”. He has co-developed several research software systems for Abductive Reasoning (ACLP & A-system), Argumentation (GORGIAS), Reasoning about Actions and Change (E-RES), In-Silico Sequencing System for predicting HIV drug resistance (HIV-ANALYSER) and a prototype platform for developing autonomous agents (PROSOCS) all of which are publicly available on the web. Recently, with others he has proposed, Argumentation Logic, as a logic that offers a new perspective for logic-based AI that facilitates the synthesis of Cognitive Psychology with theory and methods from AI. This has been applied to the problem of Story Comprehension and a new system, called STAR, has been developed for the empirical evaluation of the approach. Currently, he is working on the development of a new framework of Cognitive Programming that aims to offer a programming environment for developing Cognitive Assistants that can naturally operate along human users at large.
Find out more about him at http://www.cs.ucy.ac.cy/~antonis/