On the equivalence between logic programming semantics and argumentation semantics
From MaRDI portal
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
Cites work
- A general account of argumentation with preferences
- A logic for default reasoning
- A logical account of formal argumentation
- A mathematical treatment of defeasible reasoning and its implementation.
- Abstract argumentation systems
- Algorithms for decision problems in argument systems under preferred semantics
- An abstract, argumentation-theoretic approach to default reasoning
- Argument-based extended logic programming with defeasible priorities
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Defeasible logic programming: an argumentative approach
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- Implementing crash-resistance and non-interference in logic-based argumentation
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the equivalence of semantics for normal logic programs
- On the evaluation of argumentation formalisms
- On the Issue of Reinstatement in Argumentation
- On the partial semantics for disjunctive deductive databases
- Preferred semantics as Socratic discussion
- Robust semantics for argumentation frameworks
Cited in
(41)- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
- On argumentation logic and propositional logic
- Defining stage argumentation semantics in terms of an abducible semantics
- Tractable reasoning using logic programs with intensional concepts
- An abstract argumentation and logic programming comparison based on 5-valued labellings
- Assumption-based argumentation is logic programming with projection
- Incremental computation for structured argumentation over dynamic DeLP knowledge bases
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- 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
- On three-valued acceptance conditions of abstract dialectical frameworks
- Labellings for assumption-based and abstract argumentation
- An argumentation system for defeasible reasoning
- Interlinking logic programs and argumentation frameworks
- Base argumentation as an abstraction of deductive argumentation
- Incremental computation of deterministic extensions for dynamic argumentation frameworks
- Annotated defeasible logic
- On the equivalence between assumption-based argumentation and logic programming
- Abduction in argumentation frameworks
- Logic Programming, Argumentation and Human Reasoning
- Paracoherent answer set semantics meets argumentation frameworks
- On the equivalence between abstract dialectical frameworks and logic programs
- On the semantics of abstract argumentation frameworks: a logic programming approach
- scientific article; zbMATH DE number 7166761 (Why is no real title available?)
- On the equivalence between logic programming semantics and argumentation semantics
- 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
- On dynamics in structured argumentation formalisms
- Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients
- On acceptance conditions in abstract argumentation frameworks
- On the expressive power of assumption-based argumentation
- Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
- Reduced meet over labelling-based semantics in abstract argumentation
- Simple contrapositive assumption-based argumentation frameworks with preferences: partial orders and collective attacks
- \textsc{sm}ProbLog: stable model semantics in ProbLog for probabilistic argumentation
- Abstract argumentation and answer set programming: two faces of Nelson's logic
- Abstract argumentation frameworks with strong and weak constraints
- Totality, determinism and functionality problems in (incomplete) abstract argumentation frameworks
- Argumentation frameworks, games and kernels: time for a family Reunion!
- Complexity of abstract argumentation under a claim-centric view
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)
