Model-based recasting in answer-set programming (Q4583308): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2013.799318
+Normal rank
@@ Property / OpenAlex ID @@
+W1989634318
@@ Property / OpenAlex ID: W1989634318 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007261
@@ Property / cites work: Q3007261 / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
+Normal rank
@@ Property / cites work @@
+A Logical Semantics for Description Logic Programs
+Normal rank
@@ Property / cites work @@
+Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis in datalog extensions
@@ Property / cites work: Static analysis in datalog extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Strong Equivalence for Logic Programs with Variables
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Program Correspondence under the Answer-Set Semantics: The Non-ground Case
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812975
@@ Property / cites work: Q4812975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising equilibrium logic and nested logic programs: Reductions and complexity,
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
+Normal rank
@@ Property / cites work @@
+Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Hyperequivalence of logic programs with respect to supported models
+Normal rank
@@ Property / cites work @@
+Relativized hyperequivalence of logic programs for modular programming
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A common view on strong, uniform, and other notions of equivalence in answer-set programming
+Normal rank