Antonis C. Kakas

Orcid: 0000-0001-6773-3944

Affiliations:
  • University of Cyprus, Nicosia, Cyprus


According to our database1, Antonis C. Kakas authored at least 133 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Editorial: Computational argumentation: a foundation for human-centric AI.
Frontiers Artif. Intell., 2024

Explainable AI Modeling in the Prediction of Cardiovascular Disease Risk.
Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

Emergency Department Length of Stay Classification Based on Ensemble Methods and Rule Extraction.
Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

On the Extension of Argumentation Logic.
Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023
Explainable argumentation as a service.
J. Web Semant., April, 2023

Cognitive Machine Argumentation.
ERCIM News, 2023

Explainable AI applications in the Medical Domain: a systematic review.
CoRR, 2023

Explainable Machine Learning via Argumentation.
Proceedings of the Explainable Artificial Intelligence, 2023

Unifying Abduction and Deduction through Argumentation.
Proceedings of the Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 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.
Proceedings of the 24th International Conference on Digital Signal Processing, 2023

A Comparative Study of Explainable AI models in the Assessment of Multiple Sclerosis.
Proceedings of the Computer Analysis of Images and Patterns, 2023

An Explainable AI model in the assessment of Multiple Sclerosis using clinical data and Brain MRI lesion texture features <sup>*</sup>.
Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2023

2022
Argumentation: A calculus for Human-Centric AI.
Frontiers Artif. Intell., 2022

Application Level Explanations for Argumentation-based Decision Making.
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

Gorgias Cloud: On-line Explainable Argumentation.
Proceedings of the Computational Models of Argument, 2022

Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer.
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

COGNICA: Cognitive Argumentation.
Proceedings of the Computational Models of Argument, 2022

Argumentation: From Theory to Practice & Back.
Proceedings of the Computational Models of Argument, 2022

2021
Computational Argumentation and Cognition.
CoRR, 2021

Cognitive Argumentation and the Selection Task.
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

Rule Extraction in the Assessment of Brain MRI Lesions in Multiple Sclerosis: Preliminary Findings.
Proceedings of the Computer Analysis of Images and Patterns, 2021

Model Agnostic Explainability Techniques in Ultrasound Image Analysis.
Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

Computational Argumentation & Cognitive AI.
Proceedings of the Human-Centered Artificial Intelligence, 2021

2020
Abduction and Argumentation for Explainable Machine Learning: A Position Survey.
CoRR, 2020

Cognitive Argumentation and the Suppression Task.
CoRR, 2020

Extracting Explainable Assessments of Alzheimer's disease via Machine Learning on brain MRI imaging data.
Proceedings of the 20th IEEE International Conference on Bioinformatics and Bioengineering, 2020

2019
Cognitive Argumentation for Human Syllogistic Reasoning.
Künstliche Intell., 2019

<i>GORGIAS</i>: Applying argumentation.
Argument Comput., 2019

Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction.
Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

2018
On Argumentation Logic and Propositional Logic.
Stud Logica, 2018

Towards Multipolicy Argumentation.
Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

2017
Abduction.
Proceedings of the Encyclopedia of Machine Learning and Data Mining, 2017

Modeling Data Access Legislation with Gorgias.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

From Natural Language to Argumentation and Cognitive Systems.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

Informalizing Formal Logic.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

Argumentation-Based Security for Social Good.
Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016
Cognitive Systems: Argument and Cognition.
IEEE Intell. Informatics Bull., 2016

Argumentation: Reconciling Human and Automated Reasoning.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Conflicts Resolution with the SoDA Methodology.
Proceedings of the Conflict Resolution in Decision Making - Second International Workshop, 2016

Applications of Argumentation: The SoDA Methodology.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Gorgias-B: Argumentation in Practice.
Proceedings of the Computational Models of Argument, 2016

2015
Reasoning about actions and change in argumentation.
Argument Comput., 2015

Cognitive Programming.
Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

STAR: A System of Argumentation for Story Comprehension and Beyond.
Proceedings of the 2015 AAAI Spring Symposia, 2015

2014
Non-Monotonic Reasoning and Story Comprehension.
CoRR, 2014

A Psychology-Inspired Approach to Automated Narrative Text Comprehension.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Argumentation Logic.
Proceedings of the Computational Models of Argument, 2014

Story Comprehension through Argumentation.
Proceedings of the Computational Models of Argument, 2014

Argumentation for Propositional Logic and Nonmonotonic Reasoning.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
On the semantics of abstract argumentation.
J. Log. Comput., 2013

Automated Scientific Assistant for Cancer and Chemoprevention.
Proceedings of the Artificial Intelligence Applications and Innovations, 2013

2012
Argumentation and the Event Calculus.
Proceedings of the Logic Programs, Norms and Action, 2012

The Scientific Contribution of Marek Sergot.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
Modular-έ and the role of elaboration tolerance in solving the qualification problem.
Artif. Intell., 2011

Argumentation and Temporal Persistence.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

A Unified Argumentation-Based Framework for Knowledge Qualification.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Abduction.
Proceedings of the Encyclopedia of Machine Learning, 2010

ABA: Argumentation Based Agents.
Proceedings of the ECAI 2010, 2010

2009
Abduction and Induction in Artificial Intelligence.
J. Appl. Log., 2009

Gorgias-C: Extending Argumentation with Constraint Solving.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Knowledge Qualification through Argumentation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using argumentation logic for firewall configuration management.
Proceedings of the Integrated Network Management, 2009

2008
Computational Logic Foundations of KGP Agents.
J. Artif. Intell. Res., 2008

Fred meets Tweety.
Proceedings of the ECAI 2008, 2008

2006
Application of abductive ILP to learning metabolic network inhibition from temporal data.
Mach. Learn., 2006

Crafting the mind of PROSOCS agents.
Appl. Artif. Intell., 2006

Abductive Logic Programming in the Clinical Management of HIV/AIDS.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Using Argumentation Logic for Firewall Policy Specification and Analysis.
Proceedings of the Large Scale Management of Distributed Systems, 2006

Adaptive agent negotiation via argumentation.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Modular Representation of Agent Interaction Rules through Argumentation.
Auton. Agents Multi Agent Syst., 2005

Inference of Gene Relations from Microarray Data by Abduction.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Abduction and induction for learning models of inhibition in metabolic networks.
Proceedings of the Fourth International Conference on Machine Learning and Applications, 2005

Software Anatomy of a KGP Agent.
Proceedings of the EUMAS 2005, 2005

Argumentation Based Modelling of Embedded Agent Dialogues.
Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

2004
Electronic Roads: Intelligent Navigation Through Multi-Contextual Information.
Knowl. Inf. Syst., 2004

Frame consistency: computing with causal explanations.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Reasoning About Actions and Change in Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Agent Planning, Negotiation and Control of Operation.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

The KGP Model of Agency.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Declarative Agent Control.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Flexible Agent Dialogue Strategies and Societal Communication Protocols.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Layered Strategies and Protocols for Argumentation-Based Agent Interaction.
Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

2003
Argumentation based decision making for autonomous agents.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Argumentative Agent Deliberation, Roles and Context.
Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Modeling complex domains of actions and change.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Abduction in Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Editorial.
ACM Trans. Comput. Log., 2001

Information Integration and Computational Logic
CoRR, 2001

An Abductive-based Scheduler for Air-Crew Assignment.
Appl. Artif. Intell., 2001

A-system: Declarative Programming with Abduction.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

E-RES: Reasoning about Actions, Events and Observations.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A-System: Problem Solving through Abduction.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Abductive Concept Learning.
New Gener. Comput., 2000

ACLP: Abductive Constraint Logic Programming.
J. Log. Program., 2000

Special issue: abductive logic programming.
J. Log. Program., 2000

Planning with Incomplete Information
CoRR, 2000

E-RES: A System for Reasoning about Actions, Events and Observations
CoRR, 2000

ACLP: Integrating Abduction and Constraint Solving
CoRR, 2000

1999
Computing Argumentation in Logic Programming.
J. Log. Comput., 1999

An Argumentation Framework of Reasoning about Actions and Change.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Air-Crew Scheduling through Abduction.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).
Log. J. IGPL, 1998

Applications of Abductive Logic Programming.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Electronic Roads in the Information Society.
Proceedings of the Research and Advanced Technology for Digital Libraries, 1998

Learning Multiple Predicates.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
A Simple Declarative Language for Describing Narratives With Actions.
J. Log. Program., 1997

Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop.
Log. J. IGPL, 1997

Reasoning about Actions, Narratives and Ramification.
Electron. Trans. Artif. Intell., 1997

ACLP: Flexible Solutions to Complex Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Learning with Abduction.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

Integrating Explanatory and Descriptive Learning in ILP.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1995
Logic Programming without Negation as Failure.
Proceedings of the Logic Programming, 1995

Computing the Acceptability Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Integrating Abductive and Constraint Logic Programming.
Proceedings of the Logic Programming, 1995

Learning Non-Monotonic Logic Programs: Learning Exceptions.
Proceedings of the Machine Learning: ECML-95, 1995

1994
Parallel Abduction in Logic Programming.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

The Acceptability Semantics for Logic Programs.
Proceedings of the Logic Programming, 1994

Abduction and Abductive Logic Programming.
Proceedings of the Logic Programming, 1994

1992
Abductive Logic Programming.
J. Log. Comput., 1992

Short Note: Preferred Extensions are Partial Stable Models.
J. Log. Program., 1992

Hypothetico-deductive Reasoning.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Default Reasoning via Negation as Failure.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
Stable Theories for Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Negation as Stable Hypotheses.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1990
Database Updates through Abduction.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990

Abductive Logic Programming.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

Knowledge Assimilation and Abduction.
Proceedings of the Truth Maintenance Systems, 1990

Generalized Stable Models: A Semantics for Abduction.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Belief Revision for Deductive Databases.
Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990


  Loading...