Belief Revision for Deductive Databases. - Antonis C. Kakas (DAISD, 1990)

Generalized Stable Models: A Semantics for Abduction. - Antonis C. Kakas; Paolo Mancarella (ECAI, 1990)

Knowledge Assimilation and Abduction. - Antonis C. Kakas; Paolo Mancarella (Truth Maintenance Systems (ECAI Workshop), 1990)

Abductive Logic Programming. - Antonis C. Kakas; Paolo Mancarella (LPNMR, 1990)

Database Updates through Abduction. - Antonis C. Kakas; Paolo Mancarella (VLDB, 1990)

Negation as Stable Hypotheses. - Antonis C. Kakas; Paolo Mancarella (LPNMR, 1991)

Stable Theories for Logic Programs. - Antonis C. Kakas; Paolo Mancarella (ISLP, 1991)

Default Reasoning via Negation as Failure. - Antonis C. Kakas (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Hypothetico-deductive Reasoning. - Chris Evans; Antonis C. Kakas (FGCS, 1992)

Short Note: Preferred Extensions are Partial Stable Models. - Antonis C. Kakas; Paolo Mancarella (J. Log. Program., 1992)

Abductive Logic Programming. - Antonis C. Kakas; Robert A. Kowalski; Francesca Toni (J. Log. Comput., 1992)

Abduction and Abductive Logic Programming. - Antonis C. Kakas; Paolo Mancarella (ICLP, 1994)

The Acceptability Semantics for Logic Programs. - Antonis C. Kakas; Paolo Mancarella; Phan Minh Dung (ICLP, 1994)

Parallel Abduction in Logic Programming. - Antonis C. Kakas; George A. Papadopoulos (PASCO, 1994)

Learning Non-Monotonic Logic Programs: Learning Exceptions. - Yannis Dimopoulos; Antonis C. Kakas (ECML, 1995)

Integrating Abductive and Constraint Logic Programming. - Antonis C. Kakas; Antonia Michael (ICLP, 1995)

Computing the Acceptability Semantics. - Francesca Toni; Antonis C. Kakas (LPNMR, 1995)

Logic Programming without Negation as Failure. - Yannis Dimopoulos; Antonis C. Kakas (ILPS, 1995)

Integrating Explanatory and Descriptive Learning in ILP. - Yannis Dimopoulos; Saso Dzeroski; Antonis C. Kakas (IJCAI (2), 1997)

Learning with Abduction. - Antonis C. Kakas; Fabrizio Riguzzi (ILP, 1997)

ACLP: Flexible Solutions to Complex Problems. - Antonis C. Kakas; Costas Mourlas (LPNMR, 1997)

Reasoning about Actions, Narratives and Ramification. - Antonis C. Kakas; Rob Miller 002 (Electron. Trans. Artif. Intell., 1997)

Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. - Peter A. Flach; Antonis C. Kakas (Log. J. IGPL, 1997)

A Simple Declarative Language for Describing Narratives With Actions. - Antonis C. Kakas; Rob Miller 002 (J. Log. Program., 1997)

Learning Multiple Predicates. - Antonis C. Kakas; Evelina Lamma; Fabrizio Riguzzi (AIMSA, 1998)

Electronic Roads in the Information Society. - Costas Zervos; Stathis Panis; Dionysis Dionysiou; Michaelis Dionysiou; Constantinos S. Pattichis; Andreas Pitsillides; George A. Papadopoulos; Antonis C. Kakas; Christos N. Schizas (ECDL, 1998)

Applications of Abductive Logic Programming. - Antonis C. Kakas; Antonia Michael (IJCSLP, 1998)

Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). - Peter A. Flach; Antonis C. Kakas; Ruy J. G. B. de Queiroz; Katia Silva Guimarães (Log. J. IGPL, 1998)

Air-Crew Scheduling through Abduction. - Antonis C. Kakas; Antonia Michael (IEA/AIE, 1999)

An Argumentation Framework of Reasoning about Actions and Change. - Antonis C. Kakas; Rob Miller 002; Francesca Toni (LPNMR, 1999)

Computing Argumentation in Logic Programming. - Antonis C. Kakas; Francesca Toni (J. Log. Comput., 1999)

ACLP: Integrating Abduction and Constraint Solving - Antonis C. Kakas (CoRR, 2000)

E-RES: A System for Reasoning about Actions, Events and Observations - Antonis C. Kakas; Rob Miller 002; Francesca Toni (CoRR, 2000)

Planning with Incomplete Information - Antonis C. Kakas; Rob Miller 002; Francesca Toni (CoRR, 2000)

Special issue: abductive logic programming. - Marc Denecker; Antonis C. Kakas (J. Log. Program., 2000)

ACLP: Abductive Constraint Logic Programming. - Antonis C. Kakas; Antonia Michael; Costas Mourlas (J. Log. Program., 2000)

Abductive Concept Learning. - Antonis C. Kakas; Fabrizio Riguzzi (New Gener. Comput., 2000)

A-System: Problem Solving through Abduction. - Antonis C. Kakas; Bert Van Nuffelen; Marc Denecker (IJCAI, 2001)

E-RES: Reasoning about Actions, Events and Observations. - Antonis C. Kakas; Rob Miller 002; Francesca Toni (LPNMR, 2001)

A-system: Declarative Programming with Abduction. - Bert Van Nuffelen; Antonis C. Kakas (LPNMR, 2001)

An Abductive-based Scheduler for Air-Crew Assignment. - Antonis C. Kakas; Antonia Michael (Appl. Artif. Intell., 2001)

Information Integration and Computational Logic - Yannis Dimopoulos; Antonis C. Kakas (CoRR, 2001)

Editorial. - Krzysztof R. Apt; Antonis C. Kakas; Fariba Sadri (ACM Trans. Comput. Log., 2001)

Abduction in Logic Programming. - Marc Denecker; Antonis C. Kakas (Computational Logic: Logic Programming and Beyond, 2002)

Modeling complex domains of actions and change. - Antonis C. Kakas; Loizos Michael (NMR, 2002)

Argumentative Agent Deliberation, Roles and Context. - Antonis C. Kakas; Pavlos Moraitis (CLIMA, 2002)

Argumentation based decision making for autonomous agents. - Antonis C. Kakas; Pavlos Moraitis (AAMAS, 2003)

Layered Strategies and Protocols for Argumentation-Based Agent Interaction. - Antonis C. Kakas; Nicolas Maudet; Pavlos Moraitis (ArgMAS, 2004)

Flexible Agent Dialogue Strategies and Societal Communication Protocols. - Antonis C. Kakas; Nicolas Maudet; Pavlos Moraitis (AAMAS, 2004)

Declarative Agent Control. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (CLIMA, 2004)

The KGP Model of Agency. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (ECAI, 2004)

Agent Planning, Negotiation and Control of Operation. - Antonis C. Kakas; Paolo Torroni; Neophytos Demetriou (ECAI, 2004)

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. - Andrea Bracciali; Neophytos Demetriou; Ulrich Endriss; Antonis C. Kakas; Wenjin Lu; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Giacomo Terreni; Francesca Toni (Global Computing, 2004)

Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. - Alireza Tamaddoni-Nezhad; Antonis C. Kakas; Stephen H. Muggleton; Florencio Pazos (ILP, 2004)

Reasoning About Actions and Change in Answer Set Programming. - Yannis Dimopoulos; Antonis C. Kakas; Loizos Michael (LPNMR, 2004)

Frame consistency: computing with causal explanations. - Andrea Bracciali; Antonis C. Kakas (NMR, 2004)

Electronic Roads: Intelligent Navigation Through Multi-Contextual Information. - Georgios John Fakas; Antonis C. Kakas; Christos N. Schizas (Knowl. Inf. Syst., 2004)

Argumentation Based Modelling of Embedded Agent Dialogues. - Yannis Dimopoulos; Antonis C. Kakas; Pavlos Moraitis (ArgMAS, 2005)

Software Anatomy of a KGP Agent. - Alexander Yip; Jeremy Forth; Kostas Stathis; Antonis C. Kakas (EUMAS, 2005)

Abduction and induction for learning models of inhibition in metabolic networks. - Alireza Tamaddoni-Nezhad; Raphael Chaleil; Antonis C. Kakas; Stephen H. Muggleton (ICMLA, 2005)

Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (LPNMR, 2005)

Inference of Gene Relations from Microarray Data by Abduction. - Irene Papatheodorou; Antonis C. Kakas; Marek J. Sergot (LPNMR, 2005)

Modular Representation of Agent Interaction Rules through Argumentation. - Antonis C. Kakas; Nicolas Maudet; Pavlos Moraitis (Auton. Agents Multi Agent Syst., 2005)

Adaptive agent negotiation via argumentation. - Antonis C. Kakas; Pavlos Moraitis (AAMAS, 2006)

Using Argumentation Logic for Firewall Policy Specification and Analysis. - Arosha K. Bandara; Antonis C. Kakas; Emil C. Lupu; Alessandra Russo (DSOM, 2006)

Abductive Logic Programming in the Clinical Management of HIV/AIDS. - Oliver Ray; Athos Antoniades; Antonis C. Kakas; Ioannis Demetriades (ECAI, 2006)

Crafting the mind of PROSOCS agents. - Andrea Bracciali; Ulle Endriss; Neophytos Demetriou; Antonis C. Kakas; Wenjin Lu; Kostas Stathis (Appl. Artif. Intell., 2006)

Application of abductive ILP to learning metabolic network inhibition from temporal data. - Alireza Tamaddoni-Nezhad; Raphael Chaleil; Antonis C. Kakas; Stephen H. Muggleton (Mach. Learn., 2006)

Fred meets Tweety. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (ECAI, 2008)

Computational Logic Foundations of KGP Agents. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (J. Artif. Intell. Res., 2008)

Using argumentation logic for firewall configuration management. - Arosha K. Bandara; Antonis C. Kakas; Emil C. Lupu; Alessandra Russo (Integrated Network Management, 2009)

Knowledge Qualification through Argumentation. - Loizos Michael; Antonis C. Kakas (LPNMR, 2009)

Gorgias-C: Extending Argumentation with Constraint Solving. - Victor Noël; Antonis C. Kakas (LPNMR, 2009)

Abduction and Induction in Artificial Intelligence. - Antonis C. Kakas; Peter A. Flach (J. Appl. Log., 2009)

ABA: Argumentation Based Agents. - Antonis C. Kakas; Leila Amgoud; Gabriele Kern-Isberner; Nicolas Maudet; Pavlos Moraitis (ECAI, 2010)

Abduction. - Antonis C. Kakas (Encyclopedia of Machine Learning, 2010)

A Unified Argumentation-Based Framework for Knowledge Qualification. - Loizos Michael; Antonis C. Kakas (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Argumentation and Temporal Persistence. - Evgenios Hadjisoteriou; Antonis C. Kakas (ICCSW, 2011)

Modular-έ and the role of elaboration tolerance in solving the qualification problem. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (Artif. Intell., 2011)

The Scientific Contribution of Marek Sergot. - Steve Barker; Andrew J. I. Jones; Antonis C. Kakas; Robert A. Kowalski; Alessio Lomuscio; Rob Miller 002; Stephen H. Muggleton; Giovanni Sartor (Logic Programs, Norms and Action, 2012)

Argumentation and the Event Calculus. - Evgenios Hadjisoteriou; Antonis C. Kakas (Logic Programs, Norms and Action, 2012)

Automated Scientific Assistant for Cancer and Chemoprevention. - Sotiris Lazarou; Antonis C. Kakas; Christiana Neophytou; Andreas Constantinou (AIAI, 2013)

On the semantics of abstract argumentation. - Antonis C. Kakas; Paolo Mancarella (J. Log. Comput., 2013)

Argumentation for Propositional Logic and Nonmonotonic Reasoning. - Antonis C. Kakas; Francesca Toni; Paolo Mancarella (CILC, 2014)

Story Comprehension through Argumentation. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (COMMA, 2014)

Argumentation Logic. - Antonis C. Kakas; Francesca Toni; Paolo Mancarella (COMMA, 2014)

A Psychology-Inspired Approach to Automated Narrative Text Comprehension. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (KR, 2014)

Non-Monotonic Reasoning and Story Comprehension. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (CoRR, 2014)

STAR: A System of Argumentation for Story Comprehension and Beyond. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (AAAI Spring Symposia, 2015)

Cognitive Programming. - Loizos Michael; Antonis C. Kakas; Rob Miller 002; György Turán (AIC, 2015)

Reasoning about actions and change in argumentation. - Evgenios Hadjisoteriou; Antonis C. Kakas (Argument Comput., 2015)

Gorgias-B: Argumentation in Practice. - Nikolaos I. Spanoudakis; Antonis C. Kakas; Pavlos Moraitis (COMMA, 2016)

Applications of Argumentation: The SoDA Methodology. - Nikolaos I. Spanoudakis; Antonis C. Kakas; Pavlos Moraitis (ECAI, 2016)

Conflicts Resolution with the SoDA Methodology. - Nikolaos I. Spanoudakis; Antonis C. Kakas; Pavlos Moraitis (COREDEMA@ECAI, 2016)

Argumentation: Reconciling Human and Automated Reasoning. - Antonis C. Kakas; Loizos Michael; Francesca Toni (Bridging@IJCAI, 2016)

Cognitive Systems: Argument and Cognition. - Antonis C. Kakas; Loizos Michael (IEEE Intell. Informatics Bull., 2016)

Argumentation-Based Security for Social Good. - Erisa Karafili; Antonis C. Kakas; Nikolaos I. Spanoudakis; Emil C. Lupu (AAAI Fall Symposia, 2017)

Informalizing Formal Logic. - Antonis C. Kakas (Bridging@CogSci, 2017)

From Natural Language to Argumentation and Cognitive Systems. - Theodoros Mitsikas; Nikolaos I. Spanoudakis; Petros S. Stefaneas; Antonis C. Kakas (COMMONSENSE, 2017)

Modeling Data Access Legislation with Gorgias. - Nikolaos I. Spanoudakis; Elena Constantinou; Adamos Koumi; Antonis C. Kakas (IEA/AIE (2), 2017)

Abduction. - Antonis C. Kakas (Encyclopedia of Machine Learning and Data Mining, 2017)

Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. - Erisa Karafili; Linna Wang; Antonis C. Kakas; Emil Lupu (PRIMA, 2018)

Towards Multipolicy Argumentation. - Nick Bassiliades; Nikolaos I. Spanoudakis; Antonis C. Kakas (SETN, 2018)

On Argumentation Logic and Propositional Logic. - Antonis C. Kakas; Paolo Mancarella; Francesca Toni (Stud Logica, 2018)

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 (BIBE, 2019)

GORGIAS: Applying argumentation. - Antonis C. Kakas; Pavlos Moraitis; Nikolaos I. Spanoudakis (Argument Comput., 2019)

Cognitive Argumentation for Human Syllogistic Reasoning. - Emmanuelle-Anna Dietz Saldanha; Antonis C. Kakas (Künstliche Intell., 2019)

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 (BIBE, 2020)

Cognitive Argumentation and the Suppression Task. - Emmanuelle-Anna Dietz Saldanha; Antonis C. Kakas (CoRR, 2020)

Abduction and Argumentation for Explainable Machine Learning: A Position Survey. - Antonis C. Kakas; Loizos Michael (CoRR, 2020)

Computational Argumentation & Cognitive AI. - Emmanuelle Dietz; Antonis C. Kakas; Loizos Michael (ACAI, 2021)

Model Agnostic Explainability Techniques in Ultrasound Image Analysis. - Nicoletta Prentzas; Marios Pitsiali; Efthyvoulos Kyriacou; Andrew Nicolaides; Antonis C. Kakas; Constantinos S. Pattichis (BIBE, 2021)

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 (CAIP (1), 2021)

Cognitive Argumentation and the Selection Task. - Emmanuelle Dietz; Antonis C. Kakas (CogSci, 2021)

Computational Argumentation and Cognition. - Emmanuelle Dietz; Antonis C. Kakas; Loizos Michael (CoRR, 2021)

Argumentation: From Theory to Practice & Back. - Antonis C. Kakas (COMMA, 2022)

COGNICA: Cognitive Argumentation. - Adamos Koumi; Antonis C. Kakas; Emmanuelle Dietz (COMMA, 2022)

Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer. - Nicoletta Prentzas; Athena Gavrielidou; Marios Neofytou; Antonis C. Kakas (ArgML@COMMA, 2022)

Gorgias Cloud: On-line Explainable Argumentation. - Nikolaos I. Spanoudakis; Georgios Gligoris; Antonis C. Kakas; Adamos Koumi (COMMA, 2022)

Application Level Explanations for Argumentation-based Decision Making. - Nikolaos Spanoudakis; Antonis C. Kakas; Adamos Koumi (ArgXAI@COMMA, 2022)

Argumentation: A calculus for Human-Centric AI. - Emmanuelle Dietz; Antonis C. Kakas; Loizos Michael (Frontiers Artif. Intell., 2022)

An Explainable AI model in the assessment of Multiple Sclerosis using clinical data and Brain MRI lesion texture features *. - Andria Nicolaou; Marios Pantziaris; Christos P. Loizou; Antonis C. Kakas; Constantinos S. Pattichis (BHI, 2023)

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 (CAIP (2), 2023)

An Explainable Artificial Intelligence model in the assessment of Brain MRI Lesions in Multiple Sclerosis using Amplitude Modulation - Frequency Modulation multi-scale feature sets. - Andria Nicolaou; Antonis C. Kakas; Constantinos S. Pattichis; Marios S. Pattichis; Kevin Fotso; Christos P. Loizou; Marios Pantzaris (DSP, 2023)

Unifying Abduction and Deduction through Argumentation. - Emmanuelle Dietz; Antonis C. Kakas (KoDis+CAKR@KR, 2023)

Explainable Machine Learning via Argumentation. - Nicoletta Prentzas; Constantinos S. Pattichis; Antonis C. Kakas (xAI (3), 2023)

Explainable AI applications in the Medical Domain: a systematic review. - Nicoletta Prentzas; Antonis C. Kakas; Constantinos S. Pattichis (CoRR, 2023)

Cognitive Machine Argumentation. - Antonis C. Kakas (ERCIM News, 2023)

Explainable argumentation as a service. - Nikolaos I. Spanoudakis; Georgios Gligoris; Adamos Koumi; Antonis C. Kakas (J. Web Semant., 2023)

On the Extension of Argumentation Logic. - Antonis C. Kakas; Paolo Mancarella (CILC, 2024)

Emergency Department Length of Stay Classification Based on Ensemble Methods and Rule Extraction. - Waqar Aziz; Andria Nicalaou; Charithea Stylianides; Andreas Panayides; Antonis C. Kakas; Efthyvoulos C. Kyriacou; Constantinos S. Pattichis (MIE, 2024)

Explainable AI Modeling in the Prediction of Cardiovascular Disease Risk. - Chara Skouteli; Nicoletta Prentzas; Antonis C. Kakas; Constantinos S. Pattichis (MIE, 2024)

Leveraging machine learning and rule extraction for enhanced transparency in emergency department length of stay prediction. - Waqar A. Sulaiman; Charithea Stylianides; Andria Nikolaou; Zinonas C. Antoniou; Ioannis Constantinou; Lakis Palazis; Anna Vavlitou; Theodoros Kyprianou; Efthyvoulos Kyriacou; Antonis C. Kakas; Marios S. Pattichis; Andreas S. Panayides; et al. (Frontiers Digit. Health, 2024)

Editorial: Computational argumentation: a foundation for human-centric AI. - Emmanuelle Dietz; Antonis C. Kakas; Loizos Michael (Frontiers Artif. Intell., 2024)

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 (AIAI Workshops (2), 2025)

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 (CBMS, 2025)

Aristotle's Original Idea: For and Against Logic in the era of AI. - Antonis C. Kakas (CoRR, 2025)

The Pollution of AI. - Antonis C. Kakas (Commun. ACM, 2025)