Antonis C. Kakas

152 papers A* 3A 10B 21C 13Misc 2Journal 45Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AL+: Extended argumentation logic. J. Log. Comput. Antonis C. Kakas, Paolo Mancarella
2025	—	`conf`	An Explainable AI System for Clinical Decision Support in Schwannomatosis. AIAI Workshops (2) Melpo Pittara, Anastasia Kyriacou, Adamos Koumi, Maria Matsangidou, Eirini C. Schiza, Constantinos S. Pattichis, Antonis C. Kakas
2025	J	`jnl`	Aristotle's Original Idea: For and Against Logic in the era of AI. CoRR Antonis C. Kakas
2025	C	`conf`	Interactive Explanation Spaces for Understanding AI Predictions in Cardiovascular Disease Risk. BIBE Chara Skouteli, Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis
2025	B	`conf`	Interpretable Machine Learning for Early Detection of Critical Outcomes in the Emergency Department. CBMS Waqar A. Sulaiman, Andreas Panayides, Eirini C. Schiza, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis
2025	J	`jnl`	On the Paraconsistency of Argumentation Logic. Logica Universalis Antonis C. Kakas
2025	J	`jnl`	The Pollution of AI. Commun. ACM Antonis C. Kakas
2024	J	`jnl`	Editorial: Computational argumentation: a foundation for human-centric AI. Frontiers Artif. Intell. Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
2024	—	`conf`	Emergency Department Length of Stay Classification Based on Ensemble Methods and Rule Extraction. MIE Waqar Aziz, Andria Nicalaou, Charithea Stylianides, Andreas Panayides, Antonis C. Kakas, Efthyvoulos C. Kyriacou, Constantinos S. Pattichis
2024	—	`conf`	Explainable AI Modeling in the Prediction of Cardiovascular Disease Risk. MIE Chara Skouteli, Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis
2024	J	`jnl`	Leveraging machine learning and rule extraction for enhanced transparency in emergency department length of stay prediction. Frontiers Digit. Health 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, Constantinos S. Pattichis
2024	—	`conf`	On the Extension of Argumentation Logic. CILC Antonis C. Kakas, Paolo Mancarella
2023	—	`conf`	A Comparative Study of Explainable AI models in the Assessment of Multiple Sclerosis. CAIP (2) Andria Nicolaou, Nicoletta Prentzas, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis
2023	—	`conf`	An Explainable AI model in the assessment of Multiple Sclerosis using clinical data and Brain MRI lesion texture features BHI Andria Nicolaou, Marios Pantziaris, Christos P. Loizou, Antonis C. Kakas, Constantinos S. Pattichis
2023	—	`conf`	An Explainable Artificial Intelligence model in the assessment of Brain MRI Lesions in Multiple Sclerosis using Amplitude Modulation - Frequency Modulation multi-scale feature sets. DSP Andria Nicolaou, Antonis C. Kakas, Constantinos S. Pattichis, Marios S. Pattichis, Kevin Fotso, Christos P. Loizou, Marios Pantzaris
2023	J	`jnl`	Cognitive Machine Argumentation. ERCIM News Antonis C. Kakas
2023	J	`jnl`	Explainable AI applications in the Medical Domain: a systematic review. CoRR Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis
2023	—	`conf`	Explainable Machine Learning via Argumentation. xAI (3) Nicoletta Prentzas, Constantinos S. Pattichis, Antonis C. Kakas
2023	J	`jnl`	Explainable argumentation as a service. J. Web Semant. Nikolaos I. Spanoudakis, Georgios Gligoris, Adamos Koumi, Antonis C. Kakas
2023	—	`conf`	Unifying Abduction and Deduction through Argumentation. KoDis+CAKR@KR Emmanuelle Dietz, Antonis C. Kakas
2022	—	`conf`	Application Level Explanations for Argumentation-based Decision Making. ArgXAI Nikolaos Spanoudakis, Antonis C. Kakas, Adamos Koumi
2022	—	`conf`	Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer. ArgML@COMMA Nicoletta Prentzas, Athena Gavrielidou, Marios Neofytou, Antonis C. Kakas
2022	J	`jnl`	Argumentation: A calculus for Human-Centric AI. Frontiers Artif. Intell. Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
2022	C	`conf`	Argumentation: From Theory to Practice & Back. COMMA Antonis C. Kakas
2022	C	`conf`	COGNICA: Cognitive Argumentation. COMMA Adamos Koumi, Antonis C. Kakas, Emmanuelle Dietz
2022	C	`conf`	Gorgias Cloud: On-line Explainable Argumentation. COMMA Nikolaos I. Spanoudakis, Georgios Gligoris, Antonis C. Kakas, Adamos Koumi
2021	B	`conf`	Cognitive Argumentation and the Selection Task. CogSci Emmanuelle Dietz, Antonis C. Kakas
2021	—	`conf`	Computational Argumentation & Cognitive AI. ACAI Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
2021	J	`jnl`	Computational Argumentation and Cognition. CoRR Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
2021	C	`conf`	Model Agnostic Explainability Techniques in Ultrasound Image Analysis. BIBE Nicoletta Prentzas, Marios Pitsiali, Efthyvoulos Kyriacou, Andrew Nicolaides, Antonis C. Kakas, Constantinos S. Pattichis
2021	—	`conf`	Rule Extraction in the Assessment of Brain MRI Lesions in Multiple Sclerosis: Preliminary Findings. CAIP (1) Andria Nicolaou, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis
2020	J	`jnl`	Abduction and Argumentation for Explainable Machine Learning: A Position Survey. CoRR Antonis C. Kakas, Loizos Michael
2020	J	`jnl`	Cognitive Argumentation and the Suppression Task. CoRR Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas
2020	C	`conf`	Extracting Explainable Assessments of Alzheimer's disease via Machine Learning on brain MRI imaging data. BIBE Kleo G. Achilleos, Stephanos Leandrou, Nicoletta Prentzas, Panayiotis A. Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis
2019	J	`jnl`	Cognitive Argumentation for Human Syllogistic Reasoning. Künstliche Intell. Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas
2019	C	`conf`	Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction. BIBE Nicoletta Prentzas, Andrew Nicolaides, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis
2018	B	`conf`	Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. PRIMA Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
2018	J	`jnl`	On Argumentation Logic and Propositional Logic. Stud Logica Antonis C. Kakas, Paolo Mancarella, Francesca Toni
2018	—	`ed.`	Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017. AIC Irene-Anna Diakidoy, Antonis C. Kakas, Antonio Lieto, Loizos Michael
2018	—	`conf`	Towards Multipolicy Argumentation. SETN Nick Bassiliades, Nikolaos I. Spanoudakis, Antonis C. Kakas
2017	—	`ch.`	Abduction. Encyclopedia of Machine Learning and Data Mining Antonis C. Kakas
2017	—	`conf`	Argumentation-Based Security for Social Good. AAAI Fall Symposia Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
2017	J	`jnl`	Argumentation-based Security for Social Good. CoRR Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
2017	—	`conf`	From Natural Language to Argumentation and Cognitive Systems. AIC Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
2017	—	`conf`	From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
2017	—	`conf`	Informalizing Formal Logic. Bridging@CogSci Antonis C. Kakas
2017	—	`conf`	Modeling Data Access Legislation with Gorgias. IEA/AIE (2) Nikolaos I. Spanoudakis, Elena Constantinou, Adamos Koumi, Antonis C. Kakas
2016	A	`conf`	Applications of Argumentation: The SoDA Methodology. ECAI Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
2016	—	`conf`	Argumentation: Reconciling Human and Automated Reasoning. Bridging@IJCAI Antonis C. Kakas, Loizos Michael, Francesca Toni
2016	J	`jnl`	Cognitive Systems: Argument and Cognition. IEEE Intell. Informatics Bull. Antonis C. Kakas, Loizos Michael
2016	—	`conf`	Conflicts Resolution with the SoDA Methodology. COREDEMA@ECAI Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
2016	C	`conf`	Gorgias-B: Argumentation in Practice. COMMA Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
2016	B	`ed.`	Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings JELIA Loizos Michael, Antonis C. Kakas
2015	—	`conf`	Cognitive Programming. AIC Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán
2015	J	`jnl`	Reasoning about actions and change in argumentation. Argument Comput. Evgenios Hadjisoteriou, Antonis C. Kakas
2015	—	`conf`	STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	A*	`conf`	A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	C	`conf`	Argumentation Logic. COMMA Antonis C. Kakas, Francesca Toni, Paolo Mancarella
2014	—	`conf`	Argumentation for Propositional Logic and Nonmonotonic Reasoning. CILC Antonis C. Kakas, Francesca Toni, Paolo Mancarella
2014	J	`jnl`	Computational Logic Foundations of KGP Agents. CoRR Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2014	J	`jnl`	Non-Monotonic Reasoning and Story Comprehension. CoRR Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	C	`conf`	Story Comprehension through Argumentation. COMMA Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2013	Misc	`conf`	Automated Scientific Assistant for Cancer and Chemoprevention. AIAI Sotiris Lazarou, Antonis C. Kakas, Christiana Neophytou, Andreas Constantinou
2013	J	`jnl`	On the semantics of abstract argumentation. J. Log. Comput. Antonis C. Kakas, Paolo Mancarella
2012	—	`conf`	Argumentation and the Event Calculus. Logic Programs, Norms and Action Evgenios Hadjisoteriou, Antonis C. Kakas
2012	—	`conf`	The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor
2011	—	`conf`	A Unified Argumentation-Based Framework for Knowledge Qualification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Loizos Michael, Antonis C. Kakas
2011	—	`conf`	ABA: Argumentation Based Agents. ArgMAS Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
2011	—	`conf`	Argumentation and Temporal Persistence. ICCSW Evgenios Hadjisoteriou, Antonis C. Kakas
2011	J	`jnl`	Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. Antonis C. Kakas, Loizos Michael, Rob Miller
2010	A	`conf`	ABA: Argumentation Based Agents. ECAI Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
2010	—	`ch.`	Abduction. Encyclopedia of Machine Learning Antonis C. Kakas
2009	J	`jnl`	Abduction and Induction in Artificial Intelligence. J. Appl. Log. Antonis C. Kakas, Peter A. Flach
2009	B	`conf`	Gorgias-C: Extending Argumentation with Constraint Solving. LPNMR Victor Noël, Antonis C. Kakas
2009	B	`conf`	Knowledge Qualification through Argumentation. LPNMR Loizos Michael, Antonis C. Kakas
2009	—	`conf`	Using argumentation logic for firewall configuration management. Integrated Network Management Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2008	J	`jnl`	Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2008	A	`conf`	Fred meets Tweety. ECAI Antonis C. Kakas, Loizos Michael, Rob Miller
2006	A	`conf`	Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades
2006	A	`conf`	Adaptive agent negotiation via argumentation. AAMAS Antonis C. Kakas, Pavlos Moraitis
2006	J	`jnl`	Application of abductive ILP to learning metabolic network inhibition from temporal data. Mach. Learn. Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton
2006	J	`jnl`	Crafting the mind of PROSOCS agents. Appl. Artif. Intell. Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis
2006	—	`conf`	Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2005	C	`conf`	Abduction and induction for learning models of inhibition in metabolic networks. ICMLA Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton
2005	—	`conf`	Argumentation Based Modelling of Embedded Agent Dialogues. ArgMAS Yannis Dimopoulos, Antonis C. Kakas, Pavlos Moraitis
2005	B	`conf`	Inference of Gene Relations from Microarray Data by Abduction. LPNMR Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
2005	J	`jnl`	Modular Representation of Agent Interaction Rules through Argumentation. Auton. Agents Multi Agent Syst. Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
2005	B	`conf`	Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR Antonis C. Kakas, Loizos Michael, Rob Miller
2005	C	`conf`	Software Anatomy of a KGP Agent. EUMAS Alexander Yip, Jeremy Forth, Kostas Stathis, Antonis C. Kakas
2004	A	`conf`	Agent Planning, Negotiation and Control of Operation. ECAI Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou
2004	—	`conf`	Declarative Agent Control. CLIMA Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2004	J	`jnl`	Electronic Roads: Intelligent Navigation Through Multi-Contextual Information. Knowl. Inf. Syst. Georgios John Fakas, Antonis C. Kakas, Christos N. Schizas
2004	A	`conf`	Flexible Agent Dialogue Strategies and Societal Communication Protocols. AAMAS Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
2004	—	`conf`	Frame consistency: computing with causal explanations. NMR Andrea Bracciali, Antonis C. Kakas
2004	—	`conf`	Layered Strategies and Protocols for Argumentation-Based Agent Interaction. ArgMAS Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
2004	B	`conf`	Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. ILP Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos
2004	B	`conf`	Reasoning About Actions and Change in Answer Set Programming. LPNMR Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael
2004	—	`conf`	The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
2004	A	`conf`	The KGP Model of Agency. ECAI Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2003	—	`ed.`	Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers Panhellenic Conference on Informatics Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas
2003	A	`conf`	Argumentation based decision making for autonomous agents. AAMAS Antonis C. Kakas, Pavlos Moraitis
2002	—	`conf`	Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond Marc Denecker, Antonis C. Kakas
2002	—	`conf`	Argumentative Agent Deliberation, Roles and Context. CLIMA Antonis C. Kakas, Pavlos Moraitis
2002	—	`ed.`	Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Computational Logic. Logic Programming and Beyond Antonis C. Kakas, Fariba Sadri
2002	—	`ed.`	Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Computational Logic. Logic Programming and Beyond Antonis C. Kakas, Fariba Sadri
2002	J	`jnl`	Modeling Complex Domains of Actions and Change CoRR Antonis C. Kakas, Loizos Michael
2002	—	`conf`	Modeling complex domains of actions and change. NMR Antonis C. Kakas, Loizos Michael
2001	A*	`conf`	A-System: Problem Solving through Abduction. IJCAI Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker
2001	B	`conf`	A-system: Declarative Programming with Abduction. LPNMR Bert Van Nuffelen, Antonis C. Kakas
2001	J	`jnl`	An Abductive-based Scheduler for Air-Crew Assignment. Appl. Artif. Intell. Antonis C. Kakas, Antonia Michael
2001	B	`conf`	E-RES: Reasoning about Actions, Events and Observations. LPNMR Antonis C. Kakas, Rob Miller, Francesca Toni
2001	J	`jnl`	Editorial. ACM Trans. Comput. Log. Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
2001	J	`jnl`	Information Integration and Computational Logic CoRR Yannis Dimopoulos, Antonis C. Kakas
2000	J	`jnl`	ACLP: Abductive Constraint Logic Programming. J. Log. Program. Antonis C. Kakas, Antonia Michael, Costas Mourlas
2000	J	`jnl`	ACLP: Integrating Abduction and Constraint Solving CoRR Antonis C. Kakas
2000	J	`jnl`	Abductive Concept Learning. New Gener. Comput. Antonis C. Kakas, Fabrizio Riguzzi
2000	J	`jnl`	E-RES: A System for Reasoning about Actions, Events and Observations CoRR Antonis C. Kakas, Rob Miller, Francesca Toni
2000	—	`ed.`	New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers New Trends in Constraints Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi
2000	J	`jnl`	Planning with Incomplete Information CoRR Antonis C. Kakas, Rob Miller, Francesca Toni
2000	J	`jnl`	Special issue: abductive logic programming. J. Log. Program. Marc Denecker, Antonis C. Kakas
1999	C	`conf`	Air-Crew Scheduling through Abduction. IEA/AIE Antonis C. Kakas, Antonia Michael
1999	B	`conf`	An Argumentation Framework of Reasoning about Actions and Change. LPNMR Antonis C. Kakas, Rob Miller, Francesca Toni
1999	J	`jnl`	Computing Argumentation in Logic Programming. J. Log. Comput. Antonis C. Kakas, Francesca Toni
1998	—	`conf`	Applications of Abductive Logic Programming. IJCSLP Antonis C. Kakas, Antonia Michael
1998	J	`jnl`	Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). Log. J. IGPL Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Katia Silva Guimarães
1998	—	`conf`	Electronic Roads in the Information Society. ECDL Costas Zervos, Stathis Panis, Dionysis Dionysiou, Michaelis Dionysiou, Constantinos S. Pattichis, Andreas Pitsillides, George A. Papadopoulos, Antonis C. Kakas, Christos N. Schizas
1998	Misc	`conf`	Learning Multiple Predicates. AIMSA Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi
1997	J	`jnl`	A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. Antonis C. Kakas, Rob Miller
1997	B	`conf`	ACLP: Flexible Solutions to Complex Problems. LPNMR Antonis C. Kakas, Costas Mourlas
1997	J	`jnl`	Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. Log. J. IGPL Peter A. Flach, Antonis C. Kakas
1997	—	`conf`	Integrating Explanatory and Descriptive Learning in ILP. IJCAI (2) Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas
1997	B	`conf`	Learning with Abduction. ILP Antonis C. Kakas, Fabrizio Riguzzi
1997	J	`jnl`	Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. Antonis C. Kakas, Rob Miller
1995	B	`conf`	Computing the Acceptability Semantics. LPNMR Francesca Toni, Antonis C. Kakas
1995	—	`ed.`	Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Deductive Databases / Abduction in Deductive Databases Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí
1995	B	`conf`	Integrating Abductive and Constraint Logic Programming. ICLP Antonis C. Kakas, Antonia Michael
1995	—	`conf`	Learning Non-Monotonic Logic Programs: Learning Exceptions. ECML Yannis Dimopoulos, Antonis C. Kakas
1995	—	`conf`	Logic Programming without Negation as Failure. ILPS Yannis Dimopoulos, Antonis C. Kakas
1994	B	`conf`	Abduction and Abductive Logic Programming. ICLP Antonis C. Kakas, Paolo Mancarella
1994	—	`conf`	Parallel Abduction in Logic Programming. PASCO Antonis C. Kakas, George A. Papadopoulos
1994	B	`conf`	The Acceptability Semantics for Logic Programs. ICLP Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
1992	J	`jnl`	Abductive Logic Programming. J. Log. Comput. Antonis C. Kakas, Robert A. Kowalski, Francesca Toni
1992	—	`conf`	Default Reasoning via Negation as Failure. ECAI Workshop on Knowledge Representation and Reasoning Antonis C. Kakas
1992	—	`conf`	Hypothetico-deductive Reasoning. FGCS Chris Evans, Antonis C. Kakas
1992	J	`jnl`	Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. Antonis C. Kakas, Paolo Mancarella
1991	B	`conf`	Negation as Stable Hypotheses. LPNMR Antonis C. Kakas, Paolo Mancarella
1991	—	`conf`	Stable Theories for Logic Programs. ISLP Antonis C. Kakas, Paolo Mancarella
1990	B	`conf`	Abductive Logic Programming. LPNMR Antonis C. Kakas, Paolo Mancarella
1990	—	`conf`	Belief Revision for Deductive Databases. DAISD Antonis C. Kakas
1990	A*	`conf`	Database Updates through Abduction. VLDB Antonis C. Kakas, Paolo Mancarella
1990	A	`conf`	Generalized Stable Models: A Semantics for Abduction. ECAI Antonis C. Kakas, Paolo Mancarella
1990	—	`conf`	Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) Antonis C. Kakas, Paolo Mancarella