conftrace_

timeline-based planning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

action-based planning (1) bounded constraint (1) planning language (1) linear temporal logic (1) real-time system (1) complexity analysis (1) temporal reasoning (1) automated planning (1)

Papers

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017