An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
From MaRDI portal
Publication:2124445
Recommendations
- Characterizing strong equivalence for argumentation frameworks
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- A common view on strong, uniform, and other notions of equivalence in answer-set programming
- Knowledge representation and non-monotonic reasoning
- Characterization of strongly equivalent logic programs in intermediate logics
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
- On strong equivalence theorem for answer set semantics with strong negation
- A Characterization of Strong Equivalence for Logic Programs with Variables
Cites work
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 3720983 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 6934384 (Why is no real title available?)
- scientific article; zbMATH DE number 1884383 (Why is no real title available?)
- scientific article; zbMATH DE number 2196613 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- A common view on strong, uniform, and other notions of equivalence in answer-set programming
- A logic for default reasoning
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Approximating operators and semantics for abstract dialectical frameworks
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- Characterizing strong equivalence for argumentation frameworks
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Galois Connexions
- Hyperequivalence of logic programs with respect to supported models
- Infinitary equilibrium logic and strongly equivalent logic programs
- Infinite argumentation frameworks. On the existence and uniqueness of extensions
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- On equivalence of infinitary formulas under the stable model semantics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Strongly equivalent logic programs
- The Semantics of Predicate Logic as a Programming Language
Cited in
(6)- Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview
- A general approach to extension-based semantics in abstract argumentation
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
- On naive labellings -- realizability, construction and patterns of redundancy
- On dynamics in structured argumentation formalisms
This page was built for publication: An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2124445)
