Argumentation and answer set programming

DOI10.1007/978-3-642-20832-4_11MaRDI QIDQ3001919zbMATH OpenOpenAlexFDO

Authors Francesca Toni, Marek Sergot

Publication date 19 May 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20832-4_11

Mathematics Subject Classification ID

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

Recommendations

• Representing argumentation frameworks in answer set programming
• Towards a general argumentation system based on answer-set programming
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Solving Advanced Argumentation Problems with Answer Set Programming
• Answer Set Programming: A Primer

Cited in

(26)

• Towards a general argumentation system based on answer-set programming
• Manifold Answer-Set Programs for Meta-reasoning
• From logic programming and non-monotonic reasoning to computational argumentation and beyond
• A QBF-based formalization of abstract argumentation semantics
• Collective Argumentation and Disjunctive Logic Programming
• Computing argumentation in logic programming
• Abstract argumentation and answer set programming: two faces of Nelson's logic
• Lattice point of view for argumentation framework
• An abstract argumentation and logic programming comparison based on 5-valued labellings
• Representing argumentation frameworks in answer set programming
• Semantic-based construction of arguments: an answer set programming approach
• An Argumentation-Based Negotiation for Distributed Extended Logic Programs
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Approximating operators and semantics for abstract dialectical frameworks
• Improved answer-set programming encodings for abstract argumentation
• Origins of answer-set programming -- some background and two personal accounts
• Automated inference of rules with exception from past legal cases using ASP
• Solving Advanced Argumentation Problems with Answer Set Programming
• Reasoning on the web with assumption-based argumentation
• Modality Argumentation Programming
• The first international competition on computational models of argumentation: results and analysis
• On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics
• An encoding of abstract dialectical frameworks into higher-order logic
• Knowledge representation, scientific argumentation and non-monotonic logic
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Theory of semi-instantiation in abstract argumentation

Describes a project that uses

Uses Software

• ASPeRiX

This page was built for publication: Argumentation and answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3001919)