Default reasoning by deductive planning (Q1896366): Difference between revisions

@@ Property / cites work @@
+A deductive solution for plan generation
@@ Property / cites work: A deductive solution for plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893671
@@ Property / cites work: Q4893671 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q4012204
@@ Property / cites work: Q4012204 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028783
@@ Property / cites work: Q4028783 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative approaches to default logic
@@ Property / cites work: Alternative approaches to default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537429
@@ Property / cites work: Q4537429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Extending SLD resolution to equational horn clauses using E-unification
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A new deductive approach to planning
@@ Property / cites work: A new deductive approach to planning / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of complete logic programs with equality
@@ Property / cites work: A theory of complete logic programs with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785940
@@ Property / cites work: Q3785940 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / 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 @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976054
@@ Property / cites work: Q3976054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493282
@@ Property / cites work: Q3493282 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling a default reasoning system into Prolog
@@ Property / cites work: Compiling a default reasoning system into Prolog / 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 @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166250
@@ Property / cites work: Q4166250 / rank @@
+Normal rank
@@ Property / cites work @@
+A new methodology for query answering in default logics via structure-oriented theorem proving
+Normal rank
@@ Property / cites work @@
+SLDNF-resolution with equality
@@ Property / cites work: SLDNF-resolution with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling recursive inference
@@ Property / cites work: Controlling recursive inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+On prediction in Theorist
@@ Property / cites work: On prediction in Theorist / rank @@
+Normal rank