Forgetting auxiliary atoms in forks (Q2321342): Difference between revisions

@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Design and implementation of aggregate functions in the DLV                         system
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of infinitary formulas under the stable model semantics
+Normal rank
@@ Property / cites work @@
+You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Minimal Logic Programs
@@ Property / cites work: Minimal 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 @@
+A denotational semantics for equilibrium logic
@@ Property / cites work: A denotational semantics for equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+Characterising equilibrium logic and nested logic programs: Reductions and complexity,
+Normal rank
@@ Property / cites work @@
+A bird's-eye view of forgetting in answer-set programming
+Normal rank
@@ Property / cites work @@
+Preserving Strong Equivalence while Forgetting
@@ Property / cites work: Preserving Strong Equivalence while Forgetting / 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 @@
+CP-logic: A language of causal probabilistic events and its relation to logic programming
+Normal rank