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

@@ Property / describes a project that uses @@
+Graphplan
@@ Property / describes a project that uses: Graphplan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pGOLOG
@@ Property / describes a project that uses: pGOLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ConGolog
@@ Property / describes a project that uses: ConGolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GOLOG
@@ Property / describes a project that uses: GOLOG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/0952813031000064567
+Normal rank
@@ Property / OpenAlex ID @@
+W2089872474
@@ Property / OpenAlex ID: W2089872474 / rank @@
+Normal rank
@@ 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