Let's plan it deductively! (Q1274761): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / 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 @@
+Constraint satisfaction from a deductive viewpoint
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833651
@@ Property / cites work: Q3833651 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Linearity and plan generation
@@ Property / cites work: Linearity and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Linear deductive planning
@@ Property / cites work: Linear deductive planning / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649989
@@ Property / cites work: Q5649989 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about action. I: A possible worlds approach
+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 @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Frames in the space of situations
@@ Property / cites work: Frames in the space of situations / rank @@
+Normal rank
@@ Property / cites work @@
+Rules as actions: A situation calculus semantics for logic programs
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976054
@@ Property / cites work: Q3976054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997961
@@ Property / cites work: Q3997961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4224292
@@ Property / cites work: Q4224292 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+Automated deduction techniques for classification in description logic systems
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493250
@@ Property / cites work: Q3493250 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank