A common view on strong, uniform, and other notions of equivalence in answer-set programming
From MaRDI portal
(Redirected from 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
(29)- Hyperequivalence of logic programs with respect to supported models
- Equivalence between answer-set programs under (partially) fixed input
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Characterising relativised strong equivalence with projection for non-ground answer-set programs
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
- Applying visible strong equivalence in answer-set program transformations
- Belief Base Change Operations for Answer Set Programming
- A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- Answer Set Programming: A Primer
- Relativized hyperequivalence of logic programs for modular programming
- Characterizing strong equivalence for argumentation frameworks
- Model-based recasting in answer-set programming
- A denotational semantics for equilibrium logic
- Inlining external sources in answer set programs
- Applying visible strong equivalence in answer-set program transformations
- Logic Programming
- On graph equivalences preserved under extensions
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- Logic Programming
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
- Relativized Hyperequivalence of Logic Programs for Modular Programming
- Abstraction for non-ground answer set programs
- Reasoning on with Defeasibility in ASP
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
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)
