Disjunctive logic programs with existential quantification in rule heads (Q5398295): Difference between revisions

@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+From answer set logic programming to circumscription via logic of GK
+Normal rank
@@ Property / cites work @@
+Towards more expressive ontology languages: the query answering problem
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank