General logical databases and programs: Default logic semantics and stratification (Q1173955): Difference between revisions

@@ Property / cites work @@
+Minimalism, justification and non-monotonicity in deductive databases
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692331
@@ Property / cites work: Q4692331 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as inconsistency. I
@@ Property / cites work: Negation as inconsistency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Results on translating defaults to circumscription
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+On the declarative and procedural semantics of logic programs
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank