Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168): Difference between revisions

@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the satisfiability of circumscription
@@ Property / cites work: On the satisfiability of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486550
@@ Property / cites work: Q3486550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484349
@@ Property / cites work: Q3484349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+The Foundations of Artificial Intelligence
@@ Property / cites work: The Foundations of Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+On the declarative and procedural semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537450
@@ Property / cites work: Q4537450 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537449
@@ Property / cites work: Q4537449 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure using tight derivations for general logic programs
+Normal rank