Strong temporal planning with uncontrollable durations

DOI10.1016/J.ARTINT.2017.11.006zbMATH Open1443.68163DBLPjournals/ai/CimattiDMRS18OpenAlexW2772622313WikidataQ62041067 ScholiaQ62041067MaRDI QIDQ1748463FDOQ1748463

Authors: 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

Recommendations

• Dynamic controllability of temporal plans in uncertain and partially observable environments
• Timeline-based planning over dense temporal domains
• scientific article; zbMATH DE number 140366
• scientific article; zbMATH DE number 2085254
• Taming the complexity of timeline-based planning over dense temporal domains
• scientific article; zbMATH DE number 2087251
• Domain-independent temporal planning in a planning-graph-based approach
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Decidability and complexity of action-based temporal planning over dense time

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)

Cites Work

• Title not available (Why is that?)
• The MathSAT5 SMT solver
• COLIN: planning with continuous linear numeric change
• Title not available (Why is that?)
• Temporal constraint networks
• Handling contingency in temporal constraint networks: from consistency to controllabilities
• Compiling uncertainty away in conformant planning problems with bounded width
• Title not available (Why is that?)
• Constraint-based attribute and interval planning
• Solving strong controllability of temporal problems with uncertainty using SMT
• Strong Controllability of Disjunctive Temporal Problems with Uncertainty
• Efficient solution techniques for disjunctive temporal reasoning problems
• Title not available (Why is that?)
• Managing concurrency in temporal planning using planner-scheduler interaction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Planning with Concurrency under Resources and Time Uncertainty

Cited In (5)

• Safe multi-agent pathfinding with time uncertainty
• A game-theoretic approach to timeline-based planning with uncertainty
• Title not available (Why is that?)
• On timeline-based games and their complexity
• Solving strong controllability of temporal problems with uncertainty using SMT

Uses Software

• PDDL
• MathSAT5
• ANML
• COLIN

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748463)