Francesca Toni

Proceedings of the 2nd International Workshop on Argumentation for eXplainable AI co-located with the 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

Towards a Framework for Evaluating Explanations in Automated Fact Verification.

[BibT_eX]

[DOI]

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

Predicting Human Judgement in Online Debates with Argumentation.

[BibT_eX]

[DOI]

Beauty Oluokun

Proceedings of the 24th Workshop on Computational Models of Natural Argument co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

The Reasons that Agents Act: Intention and Instrumental Goals.

[BibT_eX]

[DOI]

Matt MacDermott

Tom Everitt

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Recourse under Model Multiplicity via Argumentative Ensembling.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Targeted Activation Penalties Help CNNs Ignore Spurious Signals.

[BibT_eX]

[DOI]

Dekai Zhang

Matt Williams

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Non-flat ABA Is an Instance of Bipolar Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Forecasting with jury-based probabilistic argumentation.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, October, 2023

Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., July, 2023

Contractual Events in Court Decisions Dataset.

[BibT_eX]

[DOI]

Dataset, June, 2023

Achieving descriptive accuracy in explanations via argumentation: The case of probabilistic classifiers.

[BibT_eX]

[DOI]

Frontiers Artif. Intell., February, 2023

Explaining Classifiers' Outputs with Causal Models and Argumentation.

[BibT_eX]

[DOI]

FLAP, 2023

Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

Shapley-PC: Constraint-based Causal Structure Learning with Shapley Values.

[BibT_eX]

[DOI]

Fabrizio Russo

CoRR, 2023

Honesty Is the Best Policy: Defining and Mitigating AI Deception.

[BibT_eX]

[DOI]

Tom Everitt

CoRR, 2023

ProtoArgNet: Interpretable Image Classification with Super-Prototypes and Argumentation [Technical Report].

[BibT_eX]

[DOI]

Hamed Ayoobi

CoRR, 2023

Targeted Activation Penalties Help CNNs Ignore Spurious Signals.

[BibT_eX]

[DOI]

Dekai Zhang

Matthew Williams

CoRR, 2023

CAFE: Conflict-Aware Feature-wise Explanations.

[BibT_eX]

[DOI]

CoRR, 2023

Technical Report on the Learning of Case Relevance in Case-Based Reasoning with Abstract Argumentation.

[BibT_eX]

[DOI]

CoRR, 2023

Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task.

[BibT_eX]

[DOI]

CoRR, 2023

Understanding ProbLog as Probabilistic Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

ABA Learning via ASP.

[BibT_eX]

[DOI]

Emanuele De Angelis

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Argument Attribution Explanations in Quantitative Bipolar Argumentation Frameworks (Technical Report).

[BibT_eX]

[DOI]

Stylianos Loukas Vasileiou

CoRR, 2023

Unsupervised Conditional Slot Attention for Object Centric Learning.

[BibT_eX]

[DOI]

CoRR, 2023

A negation detection assessment of GPTs: analysis with the xNot360 dataset.

[BibT_eX]

[DOI]

CoRR, 2023

DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions.

[BibT_eX]

[DOI]

CoRR, 2023

Non-flat ABA is an Instance of Bipolar Argumentation.

[BibT_eX]

[DOI]

Markus Ulbricht

CoRR, 2023

Argumentative explanations for pattern-based text classifiers.

[BibT_eX]

[DOI]

Argument Comput., 2023

Honesty Is the Best Policy: Defining and Mitigating AI Deception.

[BibT_eX]

[DOI]

Francis Ward

Tom Everitt

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

A Roadmap for Neuro-argumentative Learning.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

ArguCast: A System for Online Multi-Forecasting with Gradual Argumentation.

[BibT_eX]

[DOI]

Deniz Gorur

Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Interactive Explanations by Conflict Resolution via Argumentative Exchanges.

[BibT_eX]

[DOI]

Hengzhi Li

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Learning Case Relevance in Case-Based Reasoning with Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2023

LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2023

A Dataset of Contractual Events in Court Decisions.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Beyond Logic Programming for Legal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

How well do SOTA legal reasoning models support abductive reasoning?

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

SpArX: Sparse Argumentative Explanations for Neural Networks.

[BibT_eX]

[DOI]

Hamed Ayoobi

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Argument Attribution Explanations in Quantitative Bipolar Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Causal Discovery and Knowledge Injection for Contestable Neural Networks.

[BibT_eX]

[DOI]

Fabrizio Russo

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Robust Hierarchical Symbolic Explanations in Hyperbolic Space for Image Classification.

[BibT_eX]

[DOI]

Ainkaran Santhirasekaram

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Defining Deception in Structural Causal Games.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

ABALearn: An Automated Logic-Based Learning System for ABA Frameworks.

[BibT_eX]

[DOI]

Cristina Tirsi

Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Asian Conference on Machine Learning, 2023

Explaining Random Forests Using Bipolar Argumentation and Markov Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Formalising the Robustness of Counterfactual Explanations for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Explaining Random Forests using Bipolar Argumentation and Markov Networks (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Visual Debates.

[BibT_eX]

[DOI]

Avinash Kori

Ben Glocker

CoRR, 2022

Argumentative Reward Learning: Reasoning About Human Preferences.

[BibT_eX]

[DOI]

CoRR, 2022

On Interactive Explanations as Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

CoRR, 2022

A Federated Cox Model with Non-Proportional Hazards.

[BibT_eX]

[DOI]

Dekai Zhang

Matthew Williams

CoRR, 2022

GLANCE: Global to Local Architecture-Neutral Concept-based Explanations.

[BibT_eX]

[DOI]

Avinash Kori

Ben Glocker

CoRR, 2022

Hierarchical Symbolic Reasoning in Hyperbolic Space for Deep Discriminative Models.

[BibT_eX]

[DOI]

Ainkaran Santhirasekaram

CoRR, 2022

Causal Discovery and Injection for Feed-Forward Neural Networks.

[BibT_eX]

[DOI]

Fabrizio Russo

CoRR, 2022

Towards a Theory of Faithfulness: Faithful Explanations of Differentiable Classifiers over Continuous Data.

[BibT_eX]

[DOI]

CoRR, 2022

Explainable Patterns for Distinction and Prediction of Moral Judgement on Reddit.

[BibT_eX]

[DOI]

Ion Stagkos Efstathiadis

CoRR, 2022

Explainable Decision Making with Lean and Argumentative Explanations.

[BibT_eX]

[DOI]

CoRR, 2022

Descriptive Accuracy in Explanations: The Case of Probabilistic Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

A Graph-Based Method for Unsupervised Knowledge Discovery from Financial Texts.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

GrASP: A Library for Extracting and Exploring Human-Interpretable Textual Patterns.

[BibT_eX]

[DOI]

Leshem Choshen

Eyal Shnarch

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Forecasting Argumentation Frameworks.

[BibT_eX]

[DOI]

Benjamin Irwin

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Learning Assumption-Based Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Logically Consistent Adversarial Attacks for Soft Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Causal Perspective on AI Deception in Games.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

On the Tradeoff Between Correctness and Completeness in Argumentative Explainable AI.

[BibT_eX]

[DOI]

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

On Monotonicity of Dispute Trees as Explanations for Case-Based Reasoning with Abstract Argumentation.

[BibT_eX]

[DOI]

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

On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Argumentative Forecasting.

[BibT_eX]

[DOI]

Benjamin Irwin

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Mining Property-driven Graphical Explanations for Data-centric AI from Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Human-Like Machine Intelligence., 2022

2021

Explanation-Based Human Debugging of NLP Models: A Survey.

[BibT_eX]

[DOI]

Trans. Assoc. Comput. Linguistics, 2021

Interpreting and explaining pagerank through argumentation semantics.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2021

Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification.

[BibT_eX]

[DOI]

CoRR, 2021

Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation (with Appendix).

[BibT_eX]

[DOI]

CoRR, 2021

An Explanatory Query-Based Framework for Exploring Academic Expertise.

[BibT_eX]

[DOI]

CoRR, 2021

Automatic Product Ontology Extraction from Textual Reviews.

[BibT_eX]

[DOI]

Joel Oksanen

CoRR, 2021

Aggregating Bipolar Opinions (With Appendix).

[BibT_eX]

[DOI]

Stefan Lauren

CoRR, 2021

Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines.

[BibT_eX]

[DOI]

Argument Comput., 2021

Argumentative explanations for interactive recommendations.

[BibT_eX]

[DOI]

Christos Bechlivanidis

David A. Lagnado

Artif. Intell., 2021

Computational complexity of flat and generic Assumption-Based Argumentation, with and without probabilities.

[BibT_eX]

[DOI]

Quentin Heinrich

Artif. Intell., 2021

Influence-Driven Explanations for Bayesian Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Argumentative XAI: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Aggregating Bipolar Opinions.

[BibT_eX]

[DOI]

Stefan Lauren

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Argflow: A Toolkit for Deep Argumentative Explanations for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Neural QBAFs: Explaining Neural Networks Under LRP-Based Argumentation Frameworks.

[BibT_eX]

[DOI]

Purin Sukpanichnant

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Forging Argumentative Explanations from Causal Models.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

DAX: Deep Argumentative eXplanation for Neural Networks.

[BibT_eX]

[DOI]

Emanuele Albini

CoRR, 2020

Cautious Monotonicity in Case-Based Reasoning with Abstract Argumentation.

[BibT_eX]

[DOI]

CoRR, 2020

A Dataset Independent Set of Baselines for Relation Prediction in Argument Mining.

[BibT_eX]

[DOI]

CoRR, 2020

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later.

[BibT_eX]

[DOI]

Bart Verheij

Argument Comput., 2020

Formal verification of debates in argumentation theory.

[BibT_eX]

[DOI]

Ria Jha

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Explanation via Machine Arguing.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Argumentation as a Framework for Interactive Explanations for Recommendations.

[BibT_eX]

[DOI]

Christos Bechlivanidis

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Relation-Based Counterfactual Explanations for Bayesian Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

FIND: Human-in-the-Loop Debugging Deep Text Classifiers.

[BibT_eX]

[DOI]

Lucia Specia

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Explainable Automated Fact-Checking for Public Health Claims.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Data-Empowered Argumentation for Dialectically Explainable Predictions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

From Computational Argumentation to Explanation.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

Dataset Independent Baselines for Relation Prediction in Argument Mining.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

PageRank as an Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

Explainable Automated Fact-Checking: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computational Linguistics, 2020

AI-assisted Schedule Explainer for Nurse Rostering.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

From fine-grained properties to broad principles for gradual argumentation: A principled spectrum.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

An explainable multi-attribute decision model based on argumentation.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2019

Explanations by arbitrated argumentative dispute.

[BibT_eX]

[DOI]

Tharindi Hapuarachchi

Expert Syst. Appl., 2019

Extracting information from free text through unsupervised graph-based clustering: an application to patient incident records.

[BibT_eX]

[DOI]

CoRR, 2019

On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Human-grounded Evaluations of Explanation Methods for Text Classification.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

Deciding the Winner of a Debate Using Bipolar Argumentation.

[BibT_eX]

[DOI]

Amin Karamlou

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Complexity Results and Algorithms for Bipolar Argumentation.

[BibT_eX]

[DOI]

Amin Karamlou

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Extracting Dialogical Explanations for Review Aggregations with Argumentative Dialogical Agents.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Gradual Argumentation Evaluation for Stance Aggregation in Automated Fake News Detection.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Argument Mining, ArgMining@ACL 2019, Florence, Italy, 2019

ROAD2H: Learning Decision Support System for Low- and Middle-Income Countries.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2019, 2019

Argumentation for Explainable Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On Argumentation Logic and Propositional Logic.

[BibT_eX]

[DOI]

Stud Logica, 2018

Argumentation for Explainable Scheduling (Full Paper with Proofs).

[BibT_eX]

[DOI]

CoRR, 2018

Combining Deep Learning and Argumentative Reasoning for the Analysis of Social Media Textual Content Using Small Data Sets.

[BibT_eX]

[DOI]

Comput. Linguistics, 2018

On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2018

On Instantiating Generalised Properties of Gradual Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Argumentation for Explainable Reasoning with Conflicting Medical Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018

Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Machine Arguing: From Data and Rules to Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

The "Games of Argumentation" Web Platform.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

How Many Properties Do We Need for Gradual Argumentation?

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Using Argumentation to Improve Classification in Natural Language Problems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2017

Labellings for assumption-based and abstract argumentation.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Assumption-based Argumentation: Disputes, Explanations, Preferences.

[BibT_eX]

[DOI]

FLAP, 2017

Quantitative Argumentation Debates with Votes for Opinion Polling.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Capturing Bipolar Argumentation in Non-flat Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Abstract Games of Argumentation Strategy and Game-Theoretical Argument Strength.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences.

[BibT_eX]

[DOI]

Ziyi Bao

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Mining Bipolar Argumentation Frameworks from Natural Language Text.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop on Computational Models of Natural Argument co-located with ICAIL 2017, 2017

Identifying attack and support argumentative relations using deep learning.

[BibT_eX]

[DOI]

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

2016

Justifying answer sets using argumentation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Properties of ABA+ for Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

CoRR, 2016

Argument graphs and assumption-based argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Discontinuity-Free Decision Support with Quantitative Argumentation Debates.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

ABA+: Assumption-Based Argumentation with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Abstract Argumentation for Case-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Argumentation: Reconciling Human and Automated Reasoning.

[BibT_eX]

[DOI]

Loizos Michael

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

Detecting deceptive reviews using Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on AI for Privacy and Security, 2016

Adapting the DF-QuAD Algorithm to Bipolar Argumentation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

Explanation for Case-Based Reasoning via Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

A System for Supporting the Detection of Deceptive Reviews Using Argument Mining.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

Argumentation for Machine Learning: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

A Pilot Study in Using Argumentation Frameworks for Online Debates.

[BibT_eX]

[DOI]

Argumentation-Based Multi-Agent Decision Making with Privacy Preserved.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

On the Interplay between Games, Argumentation and Dialogues.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Introduction to the 31st International Conference on Logic Programming special issue.

[BibT_eX]

[DOI]

Thomas Eiter

Theory Pract. Log. Program., 2015

Automatic evaluation of design alternatives with quantitative argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2015

AI Communications track on agreement technologies.

[BibT_eX]

[DOI]

Carles Sierra

AI Commun., 2015

On Explanations for Non-Acceptable Arguments.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Non-Monotonic Inference Properties for Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&Dec.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Mechanism Design for Argumentation-Based Information-Seeking and Inquiry.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Towards relation based Argumentation Mining.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Argumentation Mining, 2015

Characterising and Explaining Inconsistency in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Potential Based Reward Shaping for Hierarchical Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Improving Out-of-Domain Sentiment Polarity Classification Using Argumentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Data Mining Workshop, 2015

An Overview of Argumentation Frameworks for Decision Support.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2015

Identifying Malicious Behavior in Multi-party Bipolar Argumentation Debates.

[BibT_eX]

[DOI]

Dionysios Kontarinis

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

On Computing Explanations in Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

On the integration of trust with negotiation, argumentation and semantics.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2014

Quaestio-it.com: a social intelligent debating platform.

[BibT_eX]

[DOI]

J. Decis. Syst., 2014

A tutorial on assumption-based argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2014

Introduction to structured argumentation.

[BibT_eX]

[DOI]

Philippe Besnard

Alejandro Javier García

Anthony Hunter

Sanjay Modgil

Henry Prakken

Guillermo Ricardo Simari

Argument Comput., 2014

A general framework for sound assumption-based argumentation dialogues.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Argumentation-Based Collaborative Decisions for Design.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Explaining Best Decisions via Argumentation.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On Computing Explanations in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Argumentation Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Argument Mining and Social Debates.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Complete Assumption Labellings.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

From Logic Programming to Argumentation and Back.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Argumentation for Propositional Logic and Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Argumentation-based reinforcement learning for robocup soccer takeaway.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Dialogical two-agent decision making with assumption-based argumentation.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Argumentative Agents for Service-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Multiagent Systems and Applications - Volume 1: Practice and Experience, 2013

ABA-Based Answer Set Justification.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Preface to the special issue on Agreement Technologies.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2013

A generalised framework for dispute derivations in assumption-based argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Quaestio-it.com: From Debates Towards Trustworthy Answers - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Argumentation Accelerated Reinforcement Learning for RoboCup Keepaway-Takeaway.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Decision Making with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Graph-Based Dispute Derivations in Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Matthew Williams

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Enhancing sentiment extraction from text by means of arguments.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Issues of Sentiment Discovery and Opinion Mining, 2013

Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

An Argumentation-Based Approach for Automatic Evaluation of Design Debates.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

A Combination of Knowledge and Argumentation Based System for Supporting Injection Mould Design.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2013

2012

Special Issue on Argumentation in Agreement Technologies.

[BibT_eX]

[DOI]

Sanjay Modgil

J. Log. Comput., 2012

Reasoning on the Web with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Efficient Argumentation for Medical Decision-Making.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Argumentation-Based Reinforcement Learning for RoboCup Keepaway.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

Mechanism Design for Argumentation-based Persuasion.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

Argumentation Dialogues for Two-Agent Conflict Resolution.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

2011

A formal model of agent-oriented virtual organisations and their formation.

[BibT_eX]

[DOI]

Jarred McGinnis

Multiagent Grid Syst., 2011

Computational logic in agent based systems.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Bottom-Up Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

A First Step towards Argumentation Dialogues for Discovery.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Assumption-Based Argumentation Dialogues.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Reasoning about Exceptions to Contracts.

[BibT_eX]

[DOI]

Özgür Kafali

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Collaborative diagnosis of exceptions to contracts.

[BibT_eX]

[DOI]

Özgür Kafali

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Conflict resolution with argumentation dialogues.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Argumentative agents.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Two-Agent Conflict Resolution with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Adil Hussain

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Some design guidelines for practical argumentation systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Combining statistics and arguments to compute trust.

[BibT_eX]

[DOI]

Maxime Morge

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Knowledge Representation and Non-monotonic Reasoning.

[BibT_eX]

[DOI]

Laura Giordano

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

A Formal Framework of Virtual Organisations as Agent Societies

[BibT_eX]

[DOI]

Jarred McGinnis

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

A multi-agent system for service discovery, selection and negotiation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dominant Decisions by Argumentation Agents.

[BibT_eX]

[DOI]

Juan R. Vaccari

Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

Assumption-Based Argumentation for Communicating Agents.

[BibT_eX]

[DOI]

Adil Hussain

Proceedings of the Uses of Computational Argumentation, 2009

Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Artificial Intelligence, 2009

2008

Assumption-Based Argumentation for Epistemic and Practical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

Computational Logic Foundations of KGP Agents.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Web Sites Repairing through Abduction.

[BibT_eX]

[DOI]

Giacomo Terreni

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Computational logic-based agents.

[BibT_eX]

[DOI]

Jamal Bentahar

Auton. Agents Multi Agent Syst., 2008

A Game-Theoretic Measure of Argument Strength for Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

The ArguGRID Platform: An Overview.

[BibT_eX]

[DOI]

Mary Grammatikou

Stella Kafetzoglou

Leonidas Lymberopoulos

Proceedings of the Grid Economics and Business Models, 5th International Workshop, 2008

Basic influence diagrams and the liberal stable semantics.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Hybrid argumentation and its properties.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Towards argumentation-based contract negotiation.

[BibT_eX]

[DOI]

Phan Minh Thang

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Computational Logic and Agent Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

Argumentation-based agents for eProcurement.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Agreeing on Institutional Goals for Multi-agent Societies.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Proceedings of the Coordination, 2008

Argumentative KGP Agents for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

A security framework for agent-based systems.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2007

Computing Arguments and Attacks in Assumption-Based Argumentation.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

Computing ideal sceptical argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2007

Programming Applications in CIFF.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Vers une architecture modulaire d'agent argumentatif pour la composition de services.

[BibT_eX]

Proceedings of the Les Modèles de Comportements - JFSMA 07, 2007

Web Sites Verification: An Abductive Logic Programming Tool.

[BibT_eX]

[DOI]

Giacomo Terreni

Proceedings of the Logic Programming, 23rd International Conference, 2007

E-Business in ArguGRID.

[BibT_eX]

[DOI]

Proceedings of the Grid Economics and Business Models, 4th International Workshop, 2007

Assumption-Based Argumentation for Selection and Composition of Services.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Infinitesimal nash transfers for resource allocation in strong social alliances.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

A Multi-layered General Agent Model.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Decision Making with a KGP Agent System.

[BibT_eX]

[DOI]

Jeremy Forth

J. Decis. Syst., 2006

Negotiating Socially Optimal Allocations of Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Normative KGP agents.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

Dialectic proof procedures for assumption-based, admissible argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2006

A Formal Analysis of KGP Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Building Next Generation Service-Oriented Architectures using Argumentation Agents.

[BibT_eX]

[DOI]

Proceedings of the Conference Proceedings NODe 2006, 2006

Interleaving Belief Updating and Reasoning in Abductive Logic Programming.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A dialectic procedure for sceptical, assumption-based argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

Egalitarian Allocations of Indivisible Resources: Theory and Computation.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2005

Normative KGP Agents: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Variety of Behaviours Through Profiles in Logic-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Abductive Logic Programming with CIFF: System Description.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Ambient Intelligence Using KGP Agents.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence: Second European Symposium, 2004

Engineering Stable Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

The KGP Model of Agency.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On Modelling Multi-agent Systems Declaratively.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Planning Partially for Situated Agents.

[BibT_eX]

[DOI]

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

Declarative Agent Control.

[BibT_eX]

[DOI]

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

2003

Linearisability on datalog programs.

[BibT_eX]

[DOI]

Foto N. Afrati

Manolis Gergatsoulis

Theor. Comput. Sci., 2003

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Protocol Conformance for Logic-based Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Aspects of protocol conformance in inter-agent dialogue.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On optimal outcomes of negotiations over resources.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Logic-Based Agent Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

2002

On the computational complexity of assumption-based argumentation for default reasoning.

[BibT_eX]

[DOI]

Yannis Dimopoulos

Bernhard Nebel

Artif. Intell., 2002

An Abductive Logic Programming Architecture for Negotiating Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World III, 2002

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Automated information management via abductive logic agents.

[BibT_eX]

[DOI]

Telematics Informatics, 2001

E-RES: Reasoning about Actions, Events and Observations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World II, 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000

Planning with Incomplete Information

[BibT_eX]

[DOI]

CoRR, 2000

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

[BibT_eX]

[DOI]

CoRR, 2000

Finding Admissible and Preferred Arguments Can be Very Hard.

[BibT_eX]

Yannis Dimopoulos

Bernhard Nebel

Proceedings of the KR 2000, 2000

1999

Computing Argumentation in Logic Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

An Argumentation Framework of Reasoning about Actions and Change.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Preferred Arguments are Harder to Compute than Stable Extension.

[BibT_eX]

[DOI]

Yannis Dimopoulos

Bernhard Nebel

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Abduction with Negation as Failure for Active and Reactive Rules.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Executing Suspended Logic Programs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1998

Combining Introspection and Communication with Rationality and Reactivity in Agents.

[BibT_eX]

[DOI]

Pierangelo Dell'Acqua

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Semantic Query Optimization through Abduction and Constraint Handling.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

An Abstract, Argumentation-Theoretic Approach to Default Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1997

On the Relationship Between Chain Queries and Linear Datalog Programs.

[BibT_eX]

Foto N. Afrati

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996

Abstract Argumentation.

[BibT_eX]

[DOI]

Artif. Intell. Law, 1996

Synthesis of Proof Procedures for Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1996

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

Abductive logic programming.

[BibT_eX]

[DOI]

PhD thesis, 1995

A Theorem-Proving approach to CLP.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

Computing the Acceptability Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

An Argumentation-Theoretic Approach to Logic Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1995

Reduction of Abductive Logic Programs to Normal Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1995

A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Towards a Declarative and Efficient Glass-Box CLP Language.

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

1993

An Assumption-Based Framework for Non-Monotonic Reasoning.

[BibT_eX]

Andrei Bondarenko

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

Abductive Logic Programming.

[BibT_eX]

[DOI]