Strong temporal planning with uncontrollable durations

DOI10.1016/j.artint.2017.11.006zbMath1443.68163DBLPjournals/ai/CimattiDMRS18OpenAlexW2772622313WikidataQ62041067 ScholiaQ62041067MaRDI QIDQ1748463

Xianqiang Yang

Publication date: 11 May 2018

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11572/258649

zbMATH Keywords

strong controllabilitytemporal planningPDDLANMLforward state-space planningstrong temporal planninguncontrollable durations

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Unnamed Item ⋮ On timeline-based games and their complexity ⋮ Safe Multi-Agent Pathfinding with Time Uncertainty

Uses Software

• PDDL
• MathSAT5
• ANML
• COLIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient solution techniques for disjunctive temporal reasoning problems
• Managing concurrency in temporal planning using planner-scheduler interaction
• Temporal constraint networks
• Constraint-based attribute and interval planning
• Solving strong controllability of temporal problems with uncertainty using SMT
• COLIN: Planning with Continuous Linear Numeric Change
• Planning with Concurrency under Resources and Time Uncertainty
• Strong Controllability of Disjunctive Temporal Problems with Uncertainty
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
• Handling contingency in temporal constraint networks: from consistency to controllabilities
• The MathSAT5 SMT Solver

This page was built for publication: Strong temporal planning with uncontrollable durations