Loop-separable programs and their first-order definability (Q543631): Difference between revisions

@@ Property / cites work @@
+Datalog vs first-order logic
@@ Property / cites work: Datalog vs first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Modeling biological networks by action languages via answer set programming
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+A non-ground realization of the stable and well-founded semantics
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Well-founded and stable semantics of logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+Q4800171
@@ Property / cites work: Q4800171 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothesizing about signaling networks
@@ Property / cites work: Hypothesizing about signaling networks / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank