A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning (Q5870537): Difference between revisions

@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / 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.1613/jair.1.13904
+Normal rank
@@ Property / OpenAlex ID @@
+W4313642938
@@ Property / OpenAlex ID: W4313642938 / rank @@
+Normal rank
@@ Property / cites work @@
+CASP solutions for planning in hybrid domains
@@ Property / cites work: CASP solutions for planning in hybrid domains / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Planning for Hybrid Systems via Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624034
@@ Property / cites work: Q3624034 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to efficient planning with numerical fluents and multi-criteria plan quality
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of action-based temporal planning over dense time
+Normal rank
@@ Property / cites work @@
+CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement
+Normal rank
@@ Property / cites work @@
+Concise finite-domain representations for PDDL planning tasks
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449305
@@ Property / cites work: Q4449305 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering and compiling planning domain models to promote validity and efficiency
+Normal rank
@@ Property / cites work @@
+Q4488091
@@ Property / cites work: Q4488091 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+Interval-Based Relaxation for General Numeric Planning.
+Normal rank
@@ Property / cites work @@
+Subgoaling Techniques for Satisficing and Optimal Numeric Planning
+Normal rank
@@ Property / cites work @@
+Processes and continuous change in a SAT-based planner
+Normal rank
@@ Property / cites work @@
+On the importance of domain model configuration for automated planning engines
+Normal rank
@@ Property / Wikidata QID @@
+Q130958839
@@ Property / Wikidata QID: Q130958839 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5870537