Antonis Kakas

Papers

Total Citations

H-Index

About

Antonis Kakas is a leading figure in artificial intelligence, whose work bridges logic, agency, and common-sense reasoning. His primary research areas include declarative agent control, argumentation theory, and the integration of abduction and induction in AI. Kakas is best known for pioneering the use of argumentation as a unifying framework for reasoning under uncertainty, particularly through his development of the *Argumentation-Based Logic Programming* (ABLP) paradigm. His 2005 paper "Declarative Agent Control" (21 citations) laid foundational groundwork for modeling autonomous agents using declarative specifications, enabling more transparent and flexible AI systems. He has also made significant contributions to the study of abduction and induction, co-editing the influential 2006 workshop proceedings on the topic, which explored how these reasoning modes can be combined for scientific modeling and knowledge discovery. With a career spanning decades at the University of Cyprus, Kakas has shaped how researchers think about non-monotonic reasoning and cognitive architectures. His work continues to inspire advances in explainable AI, multi-agent systems, and computational models of human-like reasoning.