Drake: an efficient executive for temporal plans with choice

MaRDI QIDQ3112642zbMATH OpenFDO

Authors Brian C. Williams, Patrick R. Conrad

Publication date 12 January 2012

Full work available at URL https://arxiv.org/abs/1401.4606

zbMATH Keywords

assumption-based truth maintenance systemsdiscrete choicesDrakedynamic plan executionlabeled value set maintenance systemtemporal plans

Mathematics Subject Classification ID

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

Recommendations

• Temporally and spatially flexible plan execution for dynamic hybrid systems
• scientific article; zbMATH DE number 2087251
• General temporal knowledge for planning and data mining
• scientific article; zbMATH DE number 1884378
• scientific article; zbMATH DE number 1947500

Cited in

(13)

• Mining CSTNUDs significant for a set of traces is polynomial
• Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
• Conditional simple temporal networks with uncertainty and decisions
• Temporally and spatially flexible plan execution for dynamic hybrid systems
• Efficient execution of dynamically controllable simple temporal networks with uncertainty
• scientific article; zbMATH DE number 1947500 (Why is no real title available?)
• Faster dynamic controllability checking for simple temporal networks with uncertainty
• Extending conditional simple temporal networks with partially shrinkable uncertainty
• Mining Significant Temporal Networks Is Polynomial
• Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU)
• Dynamic controllability of temporal networks with instantaneous reaction
• Dynamic controllability of temporal plans in uncertain and partially observable environments
• Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Drake: an efficient executive for temporal plans with choice

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