Answer Set Programming Modulo Acyclicity (Q3449199): Difference between revisions

@@ Property / cites work @@
+Q2767107
@@ Property / cites work: Q2767107 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo Graphs: Acyclicity
@@ Property / cites work: SAT Modulo Graphs: Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ 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 @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Declarative encodings of acyclicity properties
@@ Property / cites work: Declarative encodings of acyclicity properties / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Solution Enumeration for Projected Boolean Search Problems
+Normal rank