Justifying answer sets using argumentation

DOI10.1017/S1471068414000702zbMath1379.68301arXiv1411.5635OpenAlexW3099229524WikidataQ62042299 ScholiaQ62042299MaRDI QIDQ4593019

Claudia Schulz, Francesca Toni

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.5635

zbMATH Keywords

explanationanswer set programmingassumption-based argumentationstable extension

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (16)

Witnesses for Answer Sets of Logic Programs ⋮ Enablers and Inhibitors in Causal Justifications of Logic Programs ⋮ Characterising and Explaining Inconsistency in Logic Programs ⋮ Labellings for assumption-based and abstract argumentation ⋮ Unnamed Item ⋮ Justifications for programs with disjunctive and causal-choice rules ⋮ Deriving conclusions from non-monotonic cause-effect relations ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming ⋮ Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools ⋮ EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface ⋮ Assumption-based argumentation for extended disjunctive logic programming

Uses Software

• ASPIDE
• Potassco
• PROLEG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Computing ideal sceptical argumentation
• An abstract, argumentation-theoretic approach to default reasoning
• Explanation and argumentation capabilities: towards the creation of more persuasive agents
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Dialectic proof procedures for assumption-based, admissible argumentation
• Justifications for logic programs under answer set semantics
• An argumentation-theoretic foundation for logic programming
• Generating explanations for biomedical queries
• Logic Programming for Multiagent Planning with Negotiation
• Argumentation Semantics for Defeasible Logic
• Defeasible logic programming: an argumentative approach

This page was built for publication: Justifying answer sets using argumentation