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

@@ 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