Heuristic planning: A declarative approach based on strategies for action selection (Q814564): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2002.11.001
@@ Property / DOI: 10.1016/j.artint.2002.11.001 / 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.1016/j.artint.2002.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2049590056
@@ Property / OpenAlex ID: W2049590056 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning for temporally extended goals.
@@ Property / cites work: Planning for temporally extended goals. / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4028796
@@ Property / cites work: Q4028796 / rank @@
+Normal rank
@@ Property / cites work @@
+TALplanner: A temporal logic based forward chaining planner
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934652
@@ Property / cites work: Q4934652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734930
@@ Property / cites work: Q2734930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
+Normal rank
@@ Property / cites work @@
+Q4536322
@@ Property / cites work: Q4536322 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2002.11.001
@@ Property / DOI: 10.1016/J.ARTINT.2002.11.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:814564