Antonis C. Kakas

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 44

Top Venues

Publications

Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
Editorial: Computational argumentation: a foundation for human-centric AI. Frontiers Artif. Intell. 7 (2024)
Antonis C. Kakas, Paolo Mancarella
On the Extension of Argumentation Logic. CILC (2024)
Emmanuelle Dietz, Antonis C. Kakas
Unifying Abduction and Deduction through Argumentation. KoDis+CAKR@KR (2023)
Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis
Explainable AI applications in the Medical Domain: a systematic review. CoRR (2023)
Antonis C. Kakas
Cognitive Machine Argumentation. ERCIM News 2023 (132) (2023)
Andria Nicolaou, Antonis C. Kakas, Constantinos S. Pattichis, Marios S. Pattichis, Kevin Fotso, Christos P. Loizou, Marios Pantzaris
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 (2023)
Nikolaos I. Spanoudakis, Georgios Gligoris, Adamos Koumi, Antonis C. Kakas
Explainable argumentation as a service. J. Web Semant. 76 (2023)
Nicoletta Prentzas, Constantinos S. Pattichis, Antonis C. Kakas
Explainable Machine Learning via Argumentation. xAI (3) (2023)
Andria Nicolaou, Marios Pantziaris, Christos P. Loizou, Antonis C. Kakas, Constantinos S. Pattichis
. BHI (2023)
Andria Nicolaou, Nicoletta Prentzas, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis
A Comparative Study of Explainable AI models in the Assessment of Multiple Sclerosis. CAIP (2) (2023)
Nikolaos I. Spanoudakis, Georgios Gligoris, Antonis C. Kakas, Adamos Koumi
Gorgias Cloud: On-line Explainable Argumentation. COMMA (2022)
Nicoletta Prentzas, Athena Gavrielidou, Marios Neofytou, Antonis C. Kakas
Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer. ArgML@COMMA (2022)
Adamos Koumi, Antonis C. Kakas, Emmanuelle Dietz
COGNICA: Cognitive Argumentation. COMMA (2022)
Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
Argumentation: A calculus for Human-Centric AI. Frontiers Artif. Intell. 5 (2022)
Antonis C. Kakas
Argumentation: From Theory to Practice & Back. COMMA (2022)
Nikolaos Spanoudakis, Antonis C. Kakas, Adamos Koumi
Application Level Explanations for Argumentation-based Decision Making. ArgXAI@COMMA (2022)
Emmanuelle Dietz, Antonis C. Kakas
Cognitive Argumentation and the Selection Task. CogSci (2021)
Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
Computational Argumentation and Cognition. CoRR (2021)
Andria Nicolaou, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis
Rule Extraction in the Assessment of Brain MRI Lesions in Multiple Sclerosis: Preliminary Findings. CAIP (1) (2021)
Nicoletta Prentzas, Marios Pitsiali, Efthyvoulos Kyriacou, Andrew Nicolaides, Antonis C. Kakas, Constantinos S. Pattichis
Model Agnostic Explainability Techniques in Ultrasound Image Analysis. BIBE (2021)
Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael
Computational Argumentation & Cognitive AI. ACAI (2021)
Kleo G. Achilleos, Stephanos Leandrou, Nicoletta Prentzas, Panayiotis A. Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis
Extracting Explainable Assessments of Alzheimer's disease via Machine Learning on brain MRI imaging data. BIBE (2020)
Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas
Cognitive Argumentation and the Suppression Task. CoRR (2020)
Antonis C. Kakas, Loizos Michael
Abduction and Argumentation for Explainable Machine Learning: A Position Survey. CoRR (2020)
Antonis C. Kakas, Pavlos Moraitis, Nikolaos I. Spanoudakis
: Applying argumentation. Argument Comput. 10 (1) (2019)
Nicoletta Prentzas, Andrew Nicolaides, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis
Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction. BIBE (2019)
Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas
Cognitive Argumentation for Human Syllogistic Reasoning. Künstliche Intell. 33 (3) (2019)
Nick Bassiliades, Nikolaos I. Spanoudakis, Antonis C. Kakas
Towards Multipolicy Argumentation. SETN (2018)
Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. PRIMA (2018)
Antonis C. Kakas, Paolo Mancarella, Francesca Toni
On Argumentation Logic and Propositional Logic. Stud Logica 106 (2) (2018)
Antonis C. Kakas
Informalizing Formal Logic. Bridging@CogSci (2017)
Nikolaos I. Spanoudakis, Elena Constantinou, Adamos Koumi, Antonis C. Kakas
Modeling Data Access Legislation with Gorgias. IEA/AIE (2) (2017)
Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
Argumentation-Based Security for Social Good. AAAI Fall Symposia (2017)
Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE (2017)
Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
Argumentation-based Security for Social Good. CoRR (2017)
Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
From Natural Language to Argumentation and Cognitive Systems. AIC (2017)
Antonis C. Kakas, Loizos Michael, Francesca Toni
Argumentation: Reconciling Human and Automated Reasoning. Bridging@IJCAI (2016)
Antonis C. Kakas, Loizos Michael
Cognitive Systems: Argument and Cognition. IEEE Intell. Informatics Bull. 17 (1) (2016)
Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
Gorgias-B: Argumentation in Practice. COMMA (2016)
Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
Conflicts Resolution with the SoDA Methodology. COREDEMA@ECAI (2016)
Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
Applications of Argumentation: The SoDA Methodology. ECAI (2016)
Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán
Cognitive Programming. AIC (2015)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia (2015)
Evgenios Hadjisoteriou, Antonis C. Kakas
Reasoning about actions and change in argumentation. Argument Comput. 6 (3) (2015)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
Non-Monotonic Reasoning and Story Comprehension. CoRR (2014)
Antonis C. Kakas, Francesca Toni, Paolo Mancarella
Argumentation for Propositional Logic and Nonmonotonic Reasoning. CILC (2014)
Antonis C. Kakas, Francesca Toni, Paolo Mancarella
Argumentation Logic. COMMA (2014)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR (2014)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. CoRR (2014)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
Story Comprehension through Argumentation. COMMA (2014)
Antonis C. Kakas, Paolo Mancarella
On the semantics of abstract argumentation. J. Log. Comput. 23 (5) (2013)
Sotiris Lazarou, Antonis C. Kakas, Christiana Neophytou, Andreas Constantinou
Automated Scientific Assistant for Cancer and Chemoprevention. AIAI (2013)
Evgenios Hadjisoteriou, Antonis C. Kakas
Argumentation and the Event Calculus. Logic Programs, Norms and Action (2012)
Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action (2012)
Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
ABA: Argumentation Based Agents. ArgMAS (2011)
Loizos Michael, Antonis C. Kakas
A Unified Argumentation-Based Framework for Knowledge Qualification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Antonis C. Kakas, Loizos Michael, Rob Miller
Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. 175 (1) (2011)
Evgenios Hadjisoteriou, Antonis C. Kakas
Argumentation and Temporal Persistence. ICCSW (2011)
Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
ABA: Argumentation Based Agents. ECAI (2010)
Loizos Michael, Antonis C. Kakas
Knowledge Qualification through Argumentation. LPNMR (2009)
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
Using argumentation logic for firewall configuration management. Integrated Network Management (2009)
Antonis C. Kakas, Peter A. Flach
Abduction and Induction in Artificial Intelligence. J. Appl. Log. 7 (3) (2009)
Victor Noël, Antonis C. Kakas
Gorgias-C: Extending Argumentation with Constraint Solving. LPNMR (2009)
Antonis C. Kakas, Loizos Michael, Rob Miller
Fred meets Tweety. ECAI (2008)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33 (2008)
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM (2006)
Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis
Crafting the mind of PROSOCS agents. Appl. Artif. Intell. 20 (2-4) (2006)
Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades
Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI (2006)
Antonis C. Kakas, Pavlos Moraitis
Adaptive agent negotiation via argumentation. AAMAS (2006)
Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen Muggleton
Application of abductive ILP to learning metabolic network inhibition from temporal data. Mach. Learn. 64 (1-3) (2006)
Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
Inference of Gene Relations from Microarray Data by Abduction. LPNMR (2005)
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Moraitis
Argumentation Based Modelling of Embedded Agent Dialogues. ArgMAS (2005)
Antonis C. Kakas, Loizos Michael, Rob Miller
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR (2005)
Alexander Yip, Jeremy Forth, Kostas Stathis, Antonis C. Kakas
Software Anatomy of a KGP Agent. EUMAS (2005)
Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen Muggleton
Abduction and induction for learning models of inhibition in metabolic networks. ICMLA (2005)
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
Modular Representation of Agent Interaction Rules through Argumentation. Auton. Agents Multi Agent Syst. 11 (2) (2005)
Georgios John Fakas, Antonis C. Kakas, Christos N. Schizas
Electronic Roads: Intelligent Navigation Through Multi-Contextual Information. Knowl. Inf. Syst. 6 (1) (2004)
Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing (2004)
Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou
Agent Planning, Negotiation and Control of Operation. ECAI (2004)
Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael
Reasoning About Actions and Change in Answer Set Programming. LPNMR (2004)
Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen Muggleton, Florencio Pazos
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. ILP (2004)
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
Flexible Agent Dialogue Strategies and Societal Communication Protocols. AAMAS (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Declarative Agent Control. CLIMA (2004)
Andrea Bracciali, Antonis C. Kakas
Frame consistency: computing with causal explanations. NMR (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
The KGP Model of Agency. ECAI (2004)
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
Layered Strategies and Protocols for Argumentation-Based Agent Interaction. ArgMAS (2004)
Antonis C. Kakas, Pavlos Moraitis
Argumentation based decision making for autonomous agents. AAMAS (2003)
Antonis C. Kakas, Pavlos Moraitis
Argumentative Agent Deliberation, Roles and Context. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Marc Denecker, Antonis C. Kakas
Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Antonis C. Kakas, Pavlos Moraitis
Argumentative Agent Deliberation, Roles and Context. CLIMA (2002)
Antonis C. Kakas, Loizos Michael
Modeling Complex Domains of Actions and Change CoRR (2002)
Antonis C. Kakas, Loizos Michael
Modeling complex domains of actions and change. NMR (2002)
Antonis C. Kakas, A. Michael
An Abductive-based Scheduler for Air-Crew Assignment. Appl. Artif. Intell. 15 (3) (2001)
Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
Editorial. ACM Trans. Comput. Log. 2 (4) (2001)
Antonis C. Kakas, Rob Miller, Francesca Toni
E-RES: Reasoning about Actions, Events and Observations. LPNMR (2001)
Bert Van Nuffelen, Antonis C. Kakas
A-system: Declarative Programming with Abduction. LPNMR (2001)
Yannis Dimopoulos, Antonis C. Kakas
Information Integration and Computational Logic CoRR (2001)
Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker
A-System: Problem Solving through Abduction. IJCAI (2001)
Antonis C. Kakas, Fabrizio Riguzzi
Abductive Concept Learning. New Gener. Comput. 18 (3) (2000)
Antonis C. Kakas, Rob Miller, Francesca Toni
E-RES: A System for Reasoning about Actions, Events and Observations CoRR (2000)

Antonis C. Kakas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antonis C. Kakas