Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944): Difference between revisions

@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+What should a database know?
@@ Property / cites work: What should a database know? / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank