A common view on strong, uniform, and other notions of equivalence in answer-set programming
From MaRDI portal
Publication:5451973
Recommendations
- On strong equivalence theorem for answer set semantics with strong negation
- scientific article; zbMATH DE number 2090116
- Logics in Artificial Intelligence
- Semantical characterizations and complexity of equivalences in answer set programming
- Logic Programming
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
- Equivalence between answer-set programs under (partially) fixed input
- Logic Programming and Nonmonotonic Reasoning
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
Cited in
(28)- Belief Base Change Operations for Answer Set Programming
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Hyperequivalence of logic programs with respect to supported models
- Logic Programming
- Characterizing strong equivalence for argumentation frameworks
- On graph equivalences preserved under extensions
- Reasoning on with Defeasibility in ASP
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- Abstraction for non-ground answer set programs
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- Logic Programming and Nonmonotonic Reasoning
- Relativized hyperequivalence of logic programs for modular programming
- Answer Set Programming: A Primer
- Logics in Artificial Intelligence
- Logic Programming
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
- Relativized Hyperequivalence of Logic Programs for Modular Programming
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Model-based recasting in answer-set programming
- Inlining external sources in answer set programs
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
- A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
- Applying visible strong equivalence in answer-set program transformations
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- Equivalence between answer-set programs under (partially) fixed input
- Applying visible strong equivalence in answer-set program transformations
- A denotational semantics for equilibrium logic
This page was built for publication: A common view on strong, uniform, and other notions of equivalence in answer-set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5451973)
