Strong equivalence made easy: nested expressions and weight constraints
From MaRDI portal
(Redirected from Publication:4815035)
Recommendations
Cited in
(55)- Logic Programming and Nonmonotonic Reasoning
- Characterization of strongly equivalent logic programs in intermediate logics
- Infinitary equilibrium logic and strongly equivalent logic programs
- Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
- Semi-equilibrium models for paracoherent answer set programs
- Merging Logic Programs under Answer Set Semantics
- A Unifying Perspective on Knowledge Updates
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case
- Default Negation as Explicit Negation plus Update
- Relativized hyperequivalence of logic programs for modular programming
- Possibilistic nested logic programs and strong equivalence
- scientific article; zbMATH DE number 1884383 (Why is no real title available?)
- scientific article; zbMATH DE number 2090116 (Why is no real title available?)
- Equilibrium logic
- Some (in)translatability results for normal logic programs and propositional theories
- Inductive equivalence in clausal logic and nonmonotonic logic programming
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- On graph equivalences preserved under extensions
- A Characterization of Strong Equivalence for Logic Programs with Variables
- Merging existential rules programs in multi-agent contexts through credibility accrual
- Abstraction for non-ground answer set programs
- Merging Belief Bases Represented by Logic Programs
- Strong order equivalence
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Multi-source multiple change on belief bases
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- Strongly Equivalent Temporal Logic Programs
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
- Main issues in belief revision, belief merging and information fusion
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 7453102 (Why is no real title available?)
- Cumulativity Tailored for Nonmonotonic Reasoning
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- Characterization of logic program revision as an extension of propositional revision
- Relativized Hyperequivalence of Logic Programs for Modular Programming
- On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
- On uniform equivalence of epistemic logic programs
- Omission-based abstraction for answer set programs
- Equivalence between answer-set programs under (partially) fixed input
- Propositional theories are strongly equivalent to logic programs
- Logic programming as classical inference
- On updates of hybrid knowledge bases composed of ontologies and rules
- Applying visible strong equivalence in answer-set program transformations
- Hyperequivalence of logic programs with respect to supported models
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- scientific article; zbMATH DE number 3956409 (Why is no real title available?)
- The rise and fall of semantic rule updates based on SE-models
- Applying visible strong equivalence in answer-set program transformations
- Strong equivalence of logic programs with abstract constraint atoms
- On Negative Unfolding in the Answer Set Semantics
- Weight constraints as nested expressions
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- On Heuer's procedure for verifying strong equivalence
- Complexity results for answer set programming with bounded predicate arities and implications
This page was built for publication: Strong equivalence made easy: nested expressions and weight constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4815035)
