Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045): Difference between revisions

@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+ConGolog, a concurrent programming language based on the situation calculus
+Normal rank
@@ Property / cites work @@
+LAO*: A heuristic search algorithm that finds solutions with loops
+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 @@
+Q4934650
@@ Property / cites work: Q4934650 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
+Normal rank
@@ Property / cites work @@
+Some contributions to the metatheory of the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating planning and learning: the PRODIGY architecture
+Normal rank