Antonis C. Kakas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
56
Venues
18
Active years
1990–2025
Best venue rank
A*
Where they publish
Papers
56 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AIAI | An Explainable AI System for Clinical Decision Support in Schwannomatosis. | Melpo Pittara, Anastasia Kyriacou, Adamos Koumi, Maria Matsangidou, Eirini C. Schiza, Constantinos S. Pattichis, Antonis C. Kakas |
| 2025 | BIBE | Interactive Explanation Spaces for Understanding AI Predictions in Cardiovascular Disease Risk. | Chara Skouteli, Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis |
| 2025 | CBMS | Interpretable Machine Learning for Early Detection of Critical Outcomes in the Emergency Department. | Waqar A. Sulaiman, Andreas Panayides, Eirini C. Schiza, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis |
| 2023 | CAIP | A Comparative Study of Explainable AI models in the Assessment of Multiple Sclerosis. | Andria Nicolaou, Nicoletta Prentzas, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis |
| 2022 | COMMA | Argumentation: From Theory to Practice & Back. | Antonis C. Kakas |
| 2022 | COMMA | COGNICA: Cognitive Argumentation. | Adamos Koumi, Antonis C. Kakas, Emmanuelle Dietz |
| 2022 | COMMA | Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer. | Nicoletta Prentzas, Athena Gavrielidou, Marios Neofytou, Antonis C. Kakas |
| 2022 | COMMA | Gorgias Cloud: On-line Explainable Argumentation. | Nikolaos I. Spanoudakis, Georgios Gligoris, Antonis C. Kakas, Adamos Koumi |
| 2022 | COMMA | Application Level Explanations for Argumentation-based Decision Making. | Nikolaos Spanoudakis, Antonis C. Kakas, Adamos Koumi |
| 2021 | BIBE | Model Agnostic Explainability Techniques in Ultrasound Image Analysis. | Nicoletta Prentzas, Marios Pitsiali, Efthyvoulos Kyriacou, Andrew Nicolaides, Antonis C. Kakas, Constantinos S. Pattichis |
| 2021 | CAIP | Rule Extraction in the Assessment of Brain MRI Lesions in Multiple Sclerosis: Preliminary Findings. | Andria Nicolaou, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis |
| 2021 | CogSci | Cognitive Argumentation and the Selection Task. | Emmanuelle Dietz, Antonis C. Kakas |
| 2020 | BIBE | Extracting Explainable Assessments of Alzheimer's disease via Machine Learning on brain MRI imaging data. | Kleo G. Achilleos, Stephanos Leandrou, Nicoletta Prentzas, Panayiotis A. Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis |
| 2019 | BIBE | Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction. | Nicoletta Prentzas, Andrew Nicolaides, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis |
| 2018 | PRIMA | Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. | Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu |
| 2017 | CogSci | Informalizing Formal Logic. | Antonis C. Kakas |
| 2016 | COMMA | Gorgias-B: Argumentation in Practice. | Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis |
| 2016 | ECAI | Applications of Argumentation: The SoDA Methodology. | Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis |
| 2016 | ECAI | Conflicts Resolution with the SoDA Methodology. | Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis |
| 2016 | IJCAI | Argumentation: Reconciling Human and Automated Reasoning. | Antonis C. Kakas, Loizos Michael, Francesca Toni |
| 2014 | COMMA | Story Comprehension through Argumentation. | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2014 | COMMA | Argumentation Logic. | Antonis C. Kakas, Francesca Toni, Paolo Mancarella |
| 2014 | KR | A Psychology-Inspired Approach to Automated Narrative Text Comprehension. | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2010 | ECAI | ABA: Argumentation Based Agents. | Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis |
| 2009 | IM | Using argumentation logic for firewall configuration management. | Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo |
| 2009 | LPNMR | Knowledge Qualification through Argumentation. | Loizos Michael, Antonis C. Kakas |
| 2009 | LPNMR | Gorgias-C: Extending Argumentation with Constraint Solving. | Victor Nol, Antonis C. Kakas |
| 2008 | ECAI | Fred meets Tweety. | Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2006 | ECAI | Abductive Logic Programming in the Clinical Management of HIV/AIDS. | Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades |
| 2005 | EUMAS | Software Anatomy of a KGP Agent. | Alexander Yip, Jeremy Forth, Kostas Stathis, Antonis C. Kakas |
| 2005 | ICMLA | Abduction and induction for learning models of inhibition in metabolic networks. | Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton |
| 2005 | LPNMR | Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. | Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2005 | LPNMR | Inference of Gene Relations from Microarray Data by Abduction. | Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
| 2004 | ECAI | The KGP Model of Agency. | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
| 2004 | ECAI | Agent Planning, Negotiation and Control of Operation. | Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou |
| 2004 | ILP | Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. | Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos |
| 2004 | LPNMR | Reasoning About Actions and Change in Answer Set Programming. | Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael |
| 2001 | IJCAI | A-System: Problem Solving through Abduction. | Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker |
| 2001 | LPNMR | E-RES: Reasoning about Actions, Events and Observations. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 2001 | LPNMR | A-system: Declarative Programming with Abduction. | Bert Van Nuffelen, Antonis C. Kakas |
| 1999 | LPNMR | An Argumentation Framework of Reasoning about Actions and Change. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 1998 | AIMSA | Learning Multiple Predicates. | Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi |
| 1998 | ICLP | Applications of Abductive Logic Programming. | Antonis C. Kakas, Antonia Michael |
| 1997 | IJCAI | Integrating Explanatory and Descriptive Learning in ILP. | Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas |
| 1997 | ILP | Learning with Abduction. | Antonis C. Kakas, Fabrizio Riguzzi |
| 1997 | LPNMR | ACLP: Flexible Solutions to Complex Problems. | Antonis C. Kakas, Costas Mourlas |
| 1995 | ICLP | Integrating Abductive and Constraint Logic Programming. | Antonis C. Kakas, Antonia Michael |
| 1995 | LPNMR | Computing the Acceptability Semantics. | Francesca Toni, Antonis C. Kakas |
| 1994 | ICLP | Abduction and Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1994 | ICLP | The Acceptability Semantics for Logic Programs. | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
| 1992 | ECAI | Default Reasoning via Negation as Failure. | Antonis C. Kakas |
| 1991 | LPNMR | Negation as Stable Hypotheses. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | ECAI | Generalized Stable Models: A Semantics for Abduction. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | ECAI | Knowledge Assimilation and Abduction. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | LPNMR | Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | VLDB | Database Updates through Abduction. | Antonis C. Kakas, Paolo Mancarella |