Pages that link to "Item:Q835826"
From MaRDI portal
The following pages link to Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Q835826):
Displaying 20 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Planning in domains with derived predicates through rule-action graphs and local search (Q421464) (← links)
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning (Q514137) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- Specifying and computing preferred plans (Q646542) (← links)
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Q835826) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Agent planning programs (Q899440) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- An extension of metric temporal planning with application to AC voltage control (Q900312) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Selecting goals in oversubscription planning using relaxed plans (Q2238655) (← links)
- Book review of: P. Haslum et. al., An introduction to the planning domain definition language (Q2302292) (← links)
- Robot task planning and explanation in open and uncertain worlds (Q2407428) (← links)
- A tableau construction for finite linear-time temporal logic (Q2669249) (← links)
- SMT-Based Abstract Parametric Temporal Planning (Q5268456) (← links)
- Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework (Q5870501) (← links)
- Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492) (← links)
- Planning in artificial intelligence (Q6602257) (← links)