The following pages link to PDDL (Q19137):
Displayed 42 items.
- An approach to efficient planning with numerical fluents and multi-criteria plan quality (Q2389640) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Planning as satisfiability: parallel plans and algorithms for plan search (Q2457605) (← links)
- Constraint partitioning in penalty formulations for solving temporal planning problems (Q2457638) (← links)
- Branching and pruning: An optimal temporal POCL planner based on constraint programming (Q2457640) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- Processes and continuous change in a SAT-based planner (Q2457662) (← links)
- Understanding planning with incomplete information and sensing (Q2457676) (← links)
- Handling fuzzy temporal constraints in a planning environment (Q2468753) (← links)
- CP methods for scheduling and routing with~time-dependent task costs (Q2513747) (← links)
- On the importance of domain model configuration for automated planning engines (Q2666958) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- (Q2766999) (← links)
- MANAGING TEMPORAL CYCLES IN PLANNING PROBLEMS REQUIRING CONCURRENCY (Q2857288) (← links)
- ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING (Q2857292) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- COLIN: Planning with Continuous Linear Numeric Change (Q2905379) (← links)
- SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management (Q2905393) (← links)
- Using Satisfiability for Non-optimal Temporal Planning (Q2915070) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)
- EXPERIENCES WITH PLANNING FOR NATURAL LANGUAGE GENERATION (Q3224876) (← links)
- Systems of relational transformations: rules and realizability criterion (Q3466701) (← links)
- (Q4449299) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- On transformation of conditional, conformant and parallel planning to linear programming (Q5010277) (← links)
- Symmetric Monoidal Categories with Attributes (Q5019657) (← links)
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems (Q5026187) (← links)
- (Q5079781) (← links)
- Planning with Critical Section Macros: Theory and Practice (Q5094030) (← links)
- A Comprehensive Framework for Learning Declarative Action Models (Q5094057) (← links)
- Using Machine Learning for Decreasing State Uncertainty in Planning (Q5139593) (← links)
- Anticipation of goals in automated planning (Q5145429) (← links)
- Learning-driven goal generation (Q5145430) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- A Non-monotonic Goal Specification Language for Planning with Preferences (Q5172616) (← links)
- The Hybrid Plan Controller Construction for Trajectories in Sobolev Space (Q5881166) (← links)
- On strongest necessary and weakest sufficient conditions (Q5941135) (← links)
- Planning as heuristic search (Q5941310) (← links)
- Planning and control in artificial intelligence: A unifying perspective (Q5945807) (← links)