Approximating operators and semantics for abstract dialectical frameworks
From MaRDI portal
Publication:490444
DOI10.1016/J.ARTINT.2013.09.004zbMATH Open1334.68212OpenAlexW2023808640MaRDI QIDQ490444FDOQ490444
Authors: Hannes Strass 
Publication date: 27 August 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.09.004
Recommendations
- On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
- Understanding the abstract dialectical framework
- Expressiveness of two-valued semantics for abstract dialectical frameworks
- On the equivalence between abstract dialectical frameworks and logic programs
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
nonmonotonic reasoningapproximationsfixpoint semanticslogic programmingabstract argumentation frameworksabstract dialectical frameworks
Cites Work
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Semi-equilibrium models for paracoherent answer set programs
- A lattice-theoretical fixpoint theorem and its applications
- A logic for default reasoning
- On the evaluation of argumentation formalisms
- Semantical considerations on nonmonotonic logic
- An argumentation framework in default logic
- Reasoning about preferences in argumentation frameworks
- On the Issue of Reinstatement in Argumentation
- Answer-set programming encodings for argumentation frameworks
- Fixpoint semantics for logic programming a survey
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Robust semantics for argumentation frameworks
- On the intertranslatability of non-monotonic logics
- The carneades model of argument and burden of proof
- On the relation between default and autoepistemic logic
- Uniform semantic treatment of default and autoepistemic logics
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Logical modes of attack in argumentation networks
- On the instantiation of knowledge bases in abstract argumentation frameworks
- Instantiating knowledge bases in abstract dialectical frameworks
- Argumentation and answer set programming
- A schema for generating relevant logic programming semantics and its applications in argumentation theory
- Deterministic and non-deterministic stable models
- Translating default logic into standard autoepistemic logic
- Title not available (Why is that?)
- A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
Cited In (36)
- A glimpse on Gerhard Brewka's contributions to artificial intelligence
- On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
- Embedding justification theory in approximation fixpoint theory
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- Nonmonotonic tools for argumentation
- Fixpoint semantics for recursive \textsc{shacl}
- On the equivalence between abstract dialectical frameworks and logic programs
- Paracoherent answer set semantics meets argumentation frameworks
- Title not available (Why is that?)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Towards conditional logic semantics for abstract dialectical frameworks
- Realizability of three-valued semantics for abstract dialectical frameworks
- Knowledge compilation of logic programs using approximation fixpoint theory
- Lattice point of view for argumentation framework
- Safe inductions and their applications in knowledge representation
- Fixpoint semantics for active integrity constraints
- Flexible approximators for approximating fixpoint theory
- On well-founded set-inductions and locally monotone operators
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Grounded fixpoints and their applications in knowledge representation
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
- Range-based argumentation semantics as two-valued models
- On three-valued acceptance conditions of abstract dialectical frameworks
- Probabilistic abstract dialectical frameworks
- Expressiveness of two-valued semantics for abstract dialectical frameworks
- On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- A discussion game for the grounded semantics of abstract dialectical frameworks
- An epistemic interpretation of abstract dialectical argumentation
- Epistemic graphs for representing and reasoning with positive and negative influences of arguments
- Judgment aggregation in abstract dialectical frameworks
- A formal theory of justifications
- Understanding the abstract dialectical framework
- Theory of semi-instantiation in abstract argumentation
Uses Software
This page was built for publication: Approximating operators and semantics for abstract dialectical frameworks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490444)
