Professor Antonis C. Kakas (male) at the Department of Computer Science of UCY. He obtained his Ph.D. in Theoretical Physics from Imperial College London in 1984, and has since worked at King's College London, the University of Zurich and Imperial College, before taking a permanent position in the Department of Computer Science of the University of Cyprus in 1992. His research interests include abduction and argumentation with applications to multi-agent systems, cognitive agents and machine learning. He is a co-founder and developer of the area of Abductive Logic Programming, with his interest and work in Argumentation running in parallel to this. He has published over 100 papers, with his work on abduction and argumentation widely cited. He has coordinated two national research projects, the EU funded project Cultural Journeys in the Information Society (CJIS), and was the PI of the UCY participation in eleven EU funded projects. He has co-developed several research software systems for Abductive Reasoning (ACLP, A-system and Prologica), Argumentation (GORGIAS), Abductive Learning (ACL) and Temporal Reasoning using Argumentation (E-RES), all publicly available. In particular, the GORGIAS system has been used in several applications by different groups. Over the last five years he has been working, together with other researches including colleagues from Cognitive Psychology, on narrative text comprehension through argumentation. This approach stems from a synthesis of argumentation theory in AI with models of comprehension from Cognitive Psychology.
He has organized numerous international scientific meetings in AI and related fields. Recently, he was the conference chair of the 111th International Symposium on Logical Formalization on Commonsense Reasoning, Commonsense-2013, program co-chair of the15th European Conference on Logics in Artificial Intelligence, JELIA 2016, and program co-chair the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017. In 1997, he has co-founded the Panhellenic Logic Symposium, a biannual event on all aspects of Logic in Science and Philosophy, and remains the chair of its steering committee.
