Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
From MaRDI portal
(Redirected from Publication:835826)
Recommendations
- Complexity, decidability and undecidability results for domain-independent planning
- scientific article; zbMATH DE number 2243413
- scientific article; zbMATH DE number 1931694
- scientific article; zbMATH DE number 1315585
- Concise finite-domain representations for PDDL planning tasks
- Planning as satisfiability: parallel plans and algorithms for plan search
Cites work
- scientific article; zbMATH DE number 2038892 (Why is no real title available?)
- scientific article; zbMATH DE number 2038893 (Why is no real title available?)
- scientific article; zbMATH DE number 1467489 (Why is no real title available?)
- scientific article; zbMATH DE number 1548181 (Why is no real title available?)
- scientific article; zbMATH DE number 2243406 (Why is no real title available?)
- A General Framework for Expressing Preferences in Causal Reasoning and Planning
- An LP-Based Heuristic for Optimal Planning
- An approach to efficient planning with numerical fluents and multi-criteria plan quality
- Applications of modern heuristic search methods to pattern sequencing problems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- Connections between cutting-pattern sequencing, VLSI design, and flexible machines
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
- Fast planning through planning graph analysis
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- In defense of PDDL axioms
- Introducing preferences in planning as satisfiability
- Logic Programming and Nonmonotonic Reasoning
- Planning as heuristic search
- Planning for temporally extended goals.
- Principles and Practice of Constraint Programming – CP 2004
- Semiring-based constraint satisfaction and optimization
- TALplanner: A temporal logic based forward chaining planner
- Temporal planning using subgoal partitioning and resolution in SGPlan
- The FF planning system: Fast plan generation through heuristic search
- The biobjective travelling purchaser problem
- The fast downward planning system
- Using temporal logics to express search control knowledge for planning
Cited in
(27)- scientific article; zbMATH DE number 1946847 (Why is no real title available?)
- A tableau construction for finite linear-time temporal logic
- Solving satisfiability problems with preferences
- scientific article; zbMATH DE number 2038892 (Why is no real title available?)
- scientific article; zbMATH DE number 2243406 (Why is no real title available?)
- Planning in domains with derived predicates through rule-action graphs and local search
- SMT-based abstract parametric temporal planning
- Domain-independent planning for services in uncertain and dynamic environments
- Hybrid planning for challenging construction problems: an answer set programming approach
- Selecting goals in oversubscription planning using relaxed plans
- scientific article; zbMATH DE number 2038896 (Why is no real title available?)
- Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Planning in artificial intelligence
- scientific article; zbMATH DE number 2243413 (Why is no real title available?)
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Robot task planning and explanation in open and uncertain worlds
- Proof systems for planning under 0-approximation semantics
- Agent planning programs
- Design and results of the Fifth Answer Set Programming Competition
- Finite-trace linear temporal logic: coinductive completeness
- An extension of metric temporal planning with application to AC voltage control
- Specifying and computing preferred plans
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Book review of: P. Haslum et. al., An introduction to the planning domain definition language
- Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning
This page was built for publication: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835826)
