On the equivalence between logic programming semantics and argumentation semantics
From MaRDI portal
Publication:2344367
DOI10.1016/J.IJAR.2014.12.004zbMATH Open1328.68211OpenAlexW4249547020WikidataQ62044285 ScholiaQ62044285MaRDI QIDQ2344367FDOQ2344367
Samy Sá, Wolfgang Dvořák, João Alcântara, Martin Caminada
Publication date: 15 May 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2014.12.004
Recommendations
- On the equivalence between logic programming semantics and argumentation semantics
- On the equivalence between assumption-based argumentation and logic programming
- Abducible Semantics and Argumentation
- On the equivalence between abstract dialectical frameworks and logic programs
- On the equivalence of semantics for normal logic programs
Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cites Work
- On the partial semantics for disjunctive deductive databases
- An abstract, argumentation-theoretic approach to default reasoning
- Abstract argumentation systems
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A general account of argumentation with preferences
- Title not available (Why is that?)
- Defeasible logic programming: an argumentative approach
- Title not available (Why is that?)
- A mathematical treatment of defeasible reasoning and its implementation.
- A logic for default reasoning
- On the evaluation of argumentation formalisms
- Argument-based extended logic programming with defeasible priorities
- A logical account of formal argumentation
- On the Issue of Reinstatement in Argumentation
- Algorithms for decision problems in argument systems under preferred semantics
- Robust semantics for argumentation frameworks
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- On the equivalence of semantics for normal logic programs
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Title not available (Why is that?)
- Implementing crash-resistance and non-interference in logic-based argumentation
- Preferred semantics as socratic discussion
Cited In (31)
- Defining stage argumentation semantics in terms of an abducible semantics
- Design and results of the second international competition on computational models of argumentation
- How we designed winning algorithms for abstract argumentation and which insight we attained
- Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients
- Logic Programming, Argumentation and Human Reasoning
- Abduction in argumentation frameworks
- Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
- Tractable reasoning using logic programs with intensional concepts
- Reduced meet over labelling-based semantics in abstract argumentation
- An abstract argumentation and logic programming comparison based on 5-valued labellings
- Assumption-based argumentation is logic programming with projection
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- The complexity landscape of claim-augmented argumentation frameworks
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
- Interlinking logic programs and argumentation frameworks
- An argumentation system for defeasible reasoning
- On dynamics in structured argumentation formalisms
- On three-valued acceptance conditions of abstract dialectical frameworks
- Labellings for assumption-based and abstract argumentation
- Title not available (Why is that?)
- On acceptance conditions in abstract argumentation frameworks
- On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs
- Complexity of abstract argumentation under a claim-centric view
- Annotated defeasible logic
- Paracoherent Answer Set Semantics meets Argumentation Frameworks
- Base argumentation as an abstraction of deductive argumentation
- Incremental computation for structured argumentation over dynamic DeLP knowledge bases
- On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
- On the expressive power of assumption-based argumentation
This page was built for publication: On the equivalence between logic programming semantics and argumentation semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344367)
