Francesca Toni

Orcid: 0000-0001-8194-1459

Affiliations:
  • Imperial College London, UK


According to our database1, Francesca Toni authored at least 319 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Heterogeneous Graph Neural Networks with Post-hoc Explanations for Multi-modal and Explainable Land Use Inference.
CoRR, 2024

Analyzing Key Neurons in Large Language Models.
CoRR, 2024

Identifiable Object-Centric Representation Learning via Probabilistic Slot Attention.
CoRR, 2024

Argumentative Causal Discovery.
CoRR, 2024

Contestable AI needs Computational Argumentation.
CoRR, 2024

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head.
CoRR, 2024

Argumentative Large Language Models for Explainable and Contestable Decision-Making.
CoRR, 2024

Explaining Arguments' Strength: Unveiling the Role of Attacks and Supports (Technical Report).
CoRR, 2024

Interval Abstractions for Robust Counterfactual Explanations.
CoRR, 2024

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation.
CoRR, 2024

Can Large Language Models perform Relation-based Argument Mining?
CoRR, 2024

Robust Counterfactual Explanations in Machine Learning: A Survey.
CoRR, 2024

Contribution Functions for Quantitative Bipolar Argumentation Graphs: A Principle-based Analysis.
CoRR, 2024

Towards a Framework for Evaluating Explanations in Automated Fact Verification.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

The Reasons that Agents Act: Intention and Instrumental Goals.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Recourse under Model Multiplicity via Argumentative Ensembling.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Targeted Activation Penalties Help CNNs Ignore Spurious Signals.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Non-flat ABA Is an Instance of Bipolar Argumentation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Forecasting with jury-based probabilistic argumentation.
J. Appl. Non Class. Logics, October, 2023

Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., July, 2023

Contractual Events in Court Decisions Dataset.
Dataset, June, 2023

Achieving descriptive accuracy in explanations via argumentation: The case of probabilistic classifiers.
Frontiers Artif. Intell., February, 2023

Explaining Classifiers' Outputs with Causal Models and Argumentation.
FLAP, 2023

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

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

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

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

Targeted Activation Penalties Help CNNs Ignore Spurious Signals.
CoRR, 2023

CAFE: Conflict-Aware Feature-wise Explanations.
CoRR, 2023

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

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

Understanding ProbLog as Probabilistic Argumentation.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

ABA Learning via ASP.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

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

Unsupervised Conditional Slot Attention for Object Centric Learning.
CoRR, 2023

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

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

Non-flat ABA is an Instance of Bipolar Argumentation.
CoRR, 2023

Argumentative explanations for pattern-based text classifiers.
Argument Comput., 2023

Honesty Is the Best Policy: Defining and Mitigating AI Deception.
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.
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

ArguCast: A System for Online Multi-Forecasting with Gradual Argumentation.
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.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Learning Case Relevance in Case-Based Reasoning with Abstract Argumentation.
Proceedings of the Legal Knowledge and Information Systems, 2023

LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System.
Proceedings of the Legal Knowledge and Information Systems, 2023

A Dataset of Contractual Events in Court Decisions.
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.
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?
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.
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.
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.
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).
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.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Defining Deception in Structural Causal Games.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

ABALearn: An Automated Logic-Based Learning System for ABA Frameworks.
Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.
Proceedings of the Asian Conference on Machine Learning, 2023

Explaining Random Forests Using Bipolar Argumentation and Markov Networks.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Formalising the Robustness of Counterfactual Explanations for Neural Networks.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

Visual Debates.
CoRR, 2022

Argumentative Reward Learning: Reasoning About Human Preferences.
CoRR, 2022

On Interactive Explanations as Non-Monotonic Reasoning.
CoRR, 2022

A Federated Cox Model with Non-Proportional Hazards.
CoRR, 2022

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

Hierarchical Symbolic Reasoning in Hyperbolic Space for Deep Discriminative Models.
CoRR, 2022

Causal Discovery and Injection for Feed-Forward Neural Networks.
CoRR, 2022

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

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

Explainable Decision Making with Lean and Argumentative Explanations.
CoRR, 2022

Descriptive Accuracy in Explanations: The Case of Probabilistic Classifiers.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

A Graph-Based Method for Unsupervised Knowledge Discovery from Financial Texts.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

GrASP: A Library for Extracting and Exploring Human-Interpretable Textual Patterns.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Forecasting Argumentation Frameworks.
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.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Learning Assumption-Based Argumentation Frameworks.
Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Logically Consistent Adversarial Attacks for Soft Theorem Provers.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Causal Perspective on AI Deception in Games.
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.
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.
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.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Argumentative Forecasting.
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.
Proceedings of the Human-Like Machine Intelligence., 2022

2021
Explanation-Based Human Debugging of NLP Models: A Survey.
Trans. Assoc. Comput. Linguistics, 2021

Interpreting and explaining pagerank through argumentation semantics.
Intelligenza Artificiale, 2021

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

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

An Explanatory Query-Based Framework for Exploring Academic Expertise.
CoRR, 2021

Automatic Product Ontology Extraction from Textual Reviews.
CoRR, 2021

Aggregating Bipolar Opinions (With Appendix).
CoRR, 2021

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

Argumentative explanations for interactive recommendations.
Artif. Intell., 2021

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

Influence-Driven Explanations for Bayesian Network Classifiers.
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Argumentative XAI: A Survey.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Aggregating Bipolar Opinions.
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.
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.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Forging Argumentative Explanations from Causal Models.
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.
CoRR, 2020

Cautious Monotonicity in Case-Based Reasoning with Abstract Argumentation.
CoRR, 2020

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

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

Formal verification of debates in argumentation theory.
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.
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Argumentation as a Framework for Interactive Explanations for Recommendations.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Relation-Based Counterfactual Explanations for Bayesian Network Classifiers.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

FIND: Human-in-the-Loop Debugging Deep Text Classifiers.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Explainable Automated Fact-Checking for Public Health Claims.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Data-Empowered Argumentation for Dialectically Explainable Predictions.
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.
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.
Proceedings of the Computational Models of Argument, 2020

PageRank as an Argumentation Semantics.
Proceedings of the Computational Models of Argument, 2020

Explainable Automated Fact-Checking: A Survey.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

AI-assisted Schedule Explainer for Nurse Rostering.
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.
Int. J. Approx. Reason., 2019

An explainable multi-attribute decision model based on argumentation.
Expert Syst. Appl., 2019

Explanations by arbitrated argumentative dispute.
Expert Syst. Appl., 2019

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

On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Human-grounded Evaluations of Explanation Methods for Text Classification.
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.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Complexity Results and Algorithms for Bipolar Argumentation.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Extracting Dialogical Explanations for Review Aggregations with Argumentative Dialogical Agents.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Gradual Argumentation Evaluation for Stance Aggregation in Automated Fake News Detection.
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.
Proceedings of the AMIA 2019, 2019

Argumentation for Explainable Scheduling.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

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

Argumentation for Explainable Scheduling (Full Paper with Proofs).
CoRR, 2018

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

On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation.
Artif. Intell., 2018

On Instantiating Generalised Properties of Gradual Argumentation Frameworks.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Argumentation for Explainable Reasoning with Conflicting Medical Recommendations.
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.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Machine Arguing: From Data and Rules to Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2018

The "Games of Argumentation" Web Platform.
Proceedings of the Computational Models of Argument, 2018

How Many Properties Do We Need for Gradual Argumentation?
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Using Argumentation to Improve Classification in Natural Language Problems.
ACM Trans. Internet Techn., 2017

Labellings for assumption-based and abstract argumentation.
Int. J. Approx. Reason., 2017

Assumption-based Argumentation: Disputes, Explanations, Preferences.
FLAP, 2017

Quantitative Argumentation Debates with Votes for Opinion Polling.
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.
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.
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.
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.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Mining Bipolar Argumentation Frameworks from Natural Language Text.
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.
Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

2016
Justifying answer sets using argumentation.
Theory Pract. Log. Program., 2016

Properties of ABA+ for Non-Monotonic Reasoning.
CoRR, 2016

Argument graphs and assumption-based argumentation.
Artif. Intell., 2016

Discontinuity-Free Decision Support with Quantitative Argumentation Debates.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

ABA+: Assumption-Based Argumentation with Preferences.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Abstract Argumentation for Case-Based Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 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

Detecting deceptive reviews using Argumentation.
Proceedings of the 1st International Workshop on AI for Privacy and Security, 2016

Adapting the DF-QuAD Algorithm to Bipolar Argumentation.
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.
Proceedings of the Computational Models of Argument, 2016

A System for Supporting the Detection of Deceptive Reviews Using Argument Mining.
Proceedings of the Computational Models of Argument, 2016

Argumentation for Machine Learning: A Survey.
Proceedings of the Computational Models of Argument, 2016

A Pilot Study in Using Argumentation Frameworks for Online Debates.
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

Argumentation-Based Multi-Agent Decision Making with Privacy Preserved.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

On the Interplay between Games, Argumentation and Dialogues.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Introduction to the 31st International Conference on Logic Programming special issue.
Theory Pract. Log. Program., 2015

Automatic evaluation of design alternatives with quantitative argumentation.
Argument Comput., 2015

AI Communications track on agreement technologies.
AI Commun., 2015

On Explanations for Non-Acceptable Arguments.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Non-Monotonic Inference Properties for Assumption-Based Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&Dec.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Mechanism Design for Argumentation-Based Information-Seeking and Inquiry.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Towards relation based Argumentation Mining.
Proceedings of the 2nd Workshop on Argumentation Mining, 2015

Characterising and Explaining Inconsistency in Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Potential Based Reward Shaping for Hierarchical Reinforcement Learning.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Improving Out-of-Domain Sentiment Polarity Classification Using Argumentation.
Proceedings of the IEEE International Conference on Data Mining Workshop, 2015

An Overview of Argumentation Frameworks for Decision Support.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2015

Identifying Malicious Behavior in Multi-party Bipolar Argumentation Debates.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

On Computing Explanations in Argumentation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
On the integration of trust with negotiation, argumentation and semantics.
Knowl. Eng. Rev., 2014

Quaestio-it.com: a social intelligent debating platform.
J. Decis. Syst., 2014

A tutorial on assumption-based argumentation.
Argument Comput., 2014

Introduction to structured argumentation.
Argument Comput., 2014

A general framework for sound assumption-based argumentation dialogues.
Artif. Intell., 2014

Argumentation-Based Collaborative Decisions for Design.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Explaining Best Decisions via Argumentation.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems.
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.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

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

Argument Mining and Social Debates.
Proceedings of the Computational Models of Argument, 2014

Complete Assumption Labellings.
Proceedings of the Computational Models of Argument, 2014

From Logic Programming to Argumentation and Back.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

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

Argumentation-based reinforcement learning for robocup soccer takeaway.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Dialogical two-agent decision making with assumption-based argumentation.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Argumentative Agents for Service-Oriented Computing.
Proceedings of the Multiagent Systems and Applications - Volume 1: Practice and Experience, 2013

ABA-Based Answer Set Justification.
Theory Pract. Log. Program., 2013

Preface to the special issue on Agreement Technologies.
Artif. Intell. Rev., 2013

A generalised framework for dispute derivations in assumption-based argumentation.
Artif. Intell., 2013

Quaestio-it.com: From Debates Towards Trustworthy Answers - (Extended Abstract).
Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Argumentation Accelerated Reinforcement Learning for RoboCup Keepaway-Takeaway.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Decision Making with Assumption-Based Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Graph-Based Dispute Derivations in Assumption-Based Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Enhancing sentiment extraction from text by means of arguments.
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.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

An Argumentation-Based Approach for Automatic Evaluation of Design Debates.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

A Combination of Knowledge and Argumentation Based System for Supporting Injection Mould Design.
Proceedings of the Artificial Intelligence Research and Development, 2013

2012
Special Issue on Argumentation in Agreement Technologies.
J. Log. Comput., 2012

Reasoning on the Web with Assumption-Based Argumentation.
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.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Efficient Argumentation for Medical Decision-Making.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.
Proceedings of the ECAI 2012, 2012

Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues.
Proceedings of the ECAI 2012, 2012

Argumentation-Based Reinforcement Learning for RoboCup Keepaway.
Proceedings of the Computational Models of Argument, 2012

Mechanism Design for Argumentation-based Persuasion.
Proceedings of the Computational Models of Argument, 2012

Argumentation Dialogues for Two-Agent Conflict Resolution.
Proceedings of the Computational Models of Argument, 2012

Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
A formal model of agent-oriented virtual organisations and their formation.
Multiagent Grid Syst., 2011

Computational logic in agent based systems.
Intelligenza Artificiale, 2011

Bottom-Up Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

A First Step towards Argumentation Dialogues for Discovery.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Assumption-Based Argumentation Dialogues.
Proceedings of the IJCAI 2011, 2011

Reasoning about Exceptions to Contracts.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Collaborative diagnosis of exceptions to contracts.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Conflict resolution with argumentation dialogues.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

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

Two-Agent Conflict Resolution with Assumption-Based Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Some design guidelines for practical argumentation systems.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Combining statistics and arguments to compute trust.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Knowledge Representation and Non-monotonic Reasoning.
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.
Theory Pract. Log. Program., 2009

A Formal Framework of Virtual Organisations as Agent Societies
Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

A multi-agent system for service discovery, selection and negotiation.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dominant Decisions by Argumentation Agents.
Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

Assumption-Based Argumentation for Communicating Agents.
Proceedings of the Uses of Computational Argumentation, 2009

Assumption-Based Argumentation.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
Assumption-Based Argumentation for Epistemic and Practical Reasoning.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

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

Web Sites Repairing through Abduction.
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Computational logic-based agents.
Auton. Agents Multi Agent Syst., 2008

A Game-Theoretic Measure of Argument Strength for Abstract Argumentation.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

The ArguGRID Platform: An Overview.
Proceedings of the Grid Economics and Business Models, 5th International Workshop, 2008

Basic influence diagrams and the liberal stable semantics.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Hybrid argumentation and its properties.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Towards argumentation-based contract negotiation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Computational Logic and Agent Based Systems.
Proceedings of the Il Milione (i.e. 2^6), 2008

Argumentation-based agents for eProcurement.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Agreeing on Institutional Goals for Multi-agent Societies.
Proceedings of the Coordination, 2008

Argumentative KGP Agents for Service Composition.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
A security framework for agent-based systems.
Int. J. Web Inf. Syst., 2007

Computing Arguments and Attacks in Assumption-Based Argumentation.
IEEE Intell. Syst., 2007

Computing ideal sceptical argumentation.
Artif. Intell., 2007

Programming Applications in CIFF.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.
Proceedings of the New Frontiers in Artificial Intelligence, 2007

Vers une architecture modulaire d'agent argumentatif pour la composition de services.
Proceedings of the Les Modèles de Comportements - JFSMA 07, 2007

Web Sites Verification: An Abductive Logic Programming Tool.
Proceedings of the Logic Programming, 23rd International Conference, 2007

E-Business in ArguGRID.
Proceedings of the Grid Economics and Business Models, 4th International Workshop, 2007

Assumption-Based Argumentation for Selection and Composition of Services.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Infinitesimal nash transfers for resource allocation in strong social alliances.
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.
Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

A Multi-layered General Agent Model.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Decision Making with a KGP Agent System.
J. Decis. Syst., 2006

Negotiating Socially Optimal Allocations of Resources.
J. Artif. Intell. Res., 2006

Normative KGP agents.
Comput. Math. Organ. Theory, 2006

Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell., 2006

A Formal Analysis of KGP Agents.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Building Next Generation Service-Oriented Architectures using Argumentation Agents.
Proceedings of the Conference Proceedings NODe 2006, 2006

Interleaving Belief Updating and Reasoning in Abductive Logic Programming.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A dialectic procedure for sceptical, assumption-based argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

Egalitarian Allocations of Indivisible Resources: Theory and Computation.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2005
Normative KGP Agents: A Preliminary Report.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Variety of Behaviours Through Profiles in Logic-Based Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Abductive Logic Programming with CIFF: System Description.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
Proceedings of the Logics in Artificial Intelligence, 9th European 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

Ambient Intelligence Using KGP Agents.
Proceedings of the Ambient Intelligence: Second European Symposium, 2004

Engineering Stable Multi-agent Systems.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

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

On Modelling Multi-agent Systems Declaratively.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Planning Partially for Situated Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

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

2003
Linearisability on datalog programs.
Theor. Comput. Sci., 2003

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.
Proceedings of the IJCAI-03, 2003

Protocol Conformance for Logic-based Agents.
Proceedings of the IJCAI-03, 2003

Aspects of protocol conformance in inter-agent dialogue.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On optimal outcomes of negotiations over resources.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Logic-Based Agent Communication Protocols.
Proceedings of the Advances in Agent Communication, 2003

2002
On the computational complexity of assumption-based argumentation for default reasoning.
Artif. Intell., 2002

An Abductive Logic Programming Architecture for Negotiating Agents.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies.
Proceedings of the Engineering Societies in the Agents World III, 2002

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Automated information management via abductive logic agents.
Telematics Informatics, 2001

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

Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.
Proceedings of the Engineering Societies in the Agents World II, 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000
Planning with Incomplete Information
CoRR, 2000

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

Finding Admissible and Preferred Arguments Can be Very Hard.
Proceedings of the KR 2000, 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

Preferred Arguments are Harder to Compute than Stable Extension.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Abduction with Negation as Failure for Active and Reactive Rules.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
Executing Suspended Logic Programs.
Fundam. Informaticae, 1998

Combining Introspection and Communication with Rationality and Reactivity in Agents.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Semantic Query Optimization through Abduction and Constraint Handling.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997
An Abstract, Argumentation-Theoretic Approach to Default Reasoning.
Artif. Intell., 1997

On the Relationship Between Chain Queries and Linear Datalog Programs.
Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996
Abstract Argumentation.
Artif. Intell. Law, 1996

Synthesis of Proof Procedures for Default Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).
Proceedings of the Logic Programming, 1996

1995
Abductive logic programming.
PhD thesis, 1995

A Theorem-Proving approach to CLP.
Proceedings of the 11. Workshop Logische Programmierung, 1995

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

An Argumentation-Theoretic Approach to Logic Program Transformation.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

Reduction of Abductive Logic Programs to Normal Logic Programs.
Proceedings of the Logic Programming, 1995

A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Towards a Declarative and Efficient Glass-Box CLP Language.
Proceedings of the Tenth Logic Programming Workshop, 1994

1993
An Assumption-Based Framework for Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

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


  Loading...