Conformant planning via heuristic forward search: A new approach (Q2457623): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2006.01.003
@@ Property / DOI: 10.1016/j.artint.2006.01.003 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Graphplan
@@ Property / describes a project that uses: Graphplan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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.2006.01.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1963610481
@@ Property / OpenAlex ID: W1963610481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+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 @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Blocks World revisited
@@ Property / cites work: Blocks World revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Q2753006
@@ Property / cites work: Q2753006 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2006.01.003
@@ Property / DOI: 10.1016/J.ARTINT.2006.01.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2457623