On the computational complexity of temporal projection, planning, and plan validation (Q1321058): Difference between revisions

@@ 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/0004-3702(94)90005-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1990430111
@@ Property / OpenAlex ID: W1990430111 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215782
@@ Property / cites work: Q4215782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012203
@@ Property / cites work: Q4012203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012204
@@ Property / cites work: Q4012204 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about partially ordered events
@@ Property / cites work: Reasoning about partially ordered events / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity, decidability and undecidability results for domain-independent planning
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of blocks-world planning
@@ Property / cites work: On the complexity of blocks-world planning / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical analysis of terminological representation systems
+Normal rank
@@ Property / cites work @@
+Q4012202
@@ Property / cites work: Q4012202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012199
@@ Property / cites work: Q4012199 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1321058