A new deductive approach to planning (Q922685): Difference between revisions

@@ Property / cites work @@
+On the satisfiability of circumscription
@@ Property / cites work: On the satisfiability of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198906
@@ Property / cites work: Q3198906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+A deductive solution for plan generation
@@ Property / cites work: A deductive solution for plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity and plan generation
@@ Property / cites work: Linearity and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
+Normal rank
@@ Property / cites work @@
+Extending SLD resolution to equational horn clauses using E-unification
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / 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 @@
+Q3750143
@@ Property / cites work: Q3750143 / rank @@
+Normal rank
@@ Property / cites work @@
+On solving equations and disequations
@@ Property / cites work: On solving equations and disequations / rank @@
+Normal rank