• PDDL

  • Referenced in 94 articles [sw07079]
  • extension to PDDL for expressing temporal planning domains. In recent years research in the planning ... resources. For example, interest in planning demonstrated by the space res earch community has inspired ... control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing ... language capable of expressing temporal and numeric properties of planning domains. In this paper...
  • SAPA

  • Referenced in 16 articles [sw20683]
  • multi-objective nature of metric temporal planning. Our technical contributions include (i) planning-graph based ... improve execution flexibility of the solution plans. An implementation of SAPA using many ... domains with metric and temporal constraints in the third International Planning Competition, held at AIPS...
  • SHOP2

  • Referenced in 27 articles [sw17940]
  • distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 ... SHOP2 that deal with temporal and metric planning domains...
  • TuLiP

  • Referenced in 10 articles [sw20173]
  • software toolbox for receding horizon temporal logic planning. This paper describes TuLiP, a Python-based ... respect to an expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines ... from LTL specifications, and (3) receding horizon planning. The underlying digital design synthesis routine treats...
  • RESUME

  • Referenced in 14 articles [sw36118]
  • Patient Monitoring. data. The temporal-abstraction task is crucial for planning treatment, for executing treatment ... treatment plans. The RÉSUMÉ system is based on a model of three basic temporal-abstraction...
  • COLIN

  • Referenced in 5 articles [sw27480]
  • COLIN: planning with continuous linear numeric change. We describe COLIN, a forward-chaining heuristic search ... numeric change, in addition to the full temporal semantics of PDDL. Through this work ... which require tightly coupled temporal and numeric reasoning during planning. COLIN combines FF-style forward ... develop an extension of the temporal relaxed planning graph heuristic of CRIKEY3, to support reasoning...
  • VHPOP

  • Referenced in 10 articles [sw20688]
  • also supports planning with durative actions by incorporating standard techniques for temporal constraint reasoning ... boost the performance of classical POCL planning can be effective in domains with durative actions...
  • SCIPPlan

  • Referenced in 2 articles [sw30743]
  • framework where we iteratively check relaxed plans for temporal feasibility using a domain simulator ... metric-optimizing unconstrained Tensorflow-based planner (TF-Plan) in nonlinear domains with exponential transition functions...
  • LTLMoP

  • Referenced in 2 articles [sw23171]
  • robot control. The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed ... this toolkit, structured English and Linear Temporal Logic are used to write high-level reactive ... such as controller synthesis, semantic parsing, motion planning, and human-robot interaction...
  • LPG

  • Referenced in 12 articles [sw20690]
  • types of inconsistencies in the current partial plan, and are dynamically evaluated during search using ... modeled in the evaluation function. In temporal domains, actions are ordered using a ”precedence graph ... into account the mutex relations of the planning graph. The system can produce good quality...
  • icity

  • Referenced in 4 articles [sw11954]
  • modelling tool for urban planning and decision making. The objective of this study ... high spatio-temporal resolution to aid in spatial decision making for urban planning. The iCity...
  • Dirac++

  • Referenced in 17 articles [sw37208]
  • dimensions at high spatial and temporal resolutions that are otherwise unachievable. Along with the position ... calculated with this code. Finally, for planning and comparison purposes, both the time-evolution...
  • Snoop

  • Referenced in 13 articles [sw17981]
  • constructing composite (or complex) events. Snoop supports temporal, explicit, and composite events in addition ... model. Finally, we show how a contingency plan that includes time constraints can be supported...
  • ARGUS

  • Referenced in 2 articles [sw03034]
  • temporal pathway of the implementation of emission reduction options within a given planning horizon...
  • CHaMP

  • Referenced in 1 article [sw39356]
  • also represent a temporal gradient of expected change in condition through planned habitat actions. Surveys...
  • PPlan

  • Referenced in 1 article [sw20685]
  • calculus formula. The relative preference of alternative plans is represented as a weight, which ... partial order on what are effectively temporally extended goals. PPLAN is an optimal best-first ... forward-chaining planner that generates a plan that not only achieves a user-defined goal...
  • NMRDPP

  • Referenced in 4 articles [sw10437]
  • Markovian rewards (NMRDP). In decision-theoretic planning, where many desirable behaviours are more naturally expressed ... Markovian reward function in temporal logic, to automatically translate the NMRDP into an equivalent ... experimentation of methods for decision-theoretic planning with non-Markovian rewards. The current version...
  • ANML

  • Referenced in 2 articles [sw12930]
  • level, convenient, and succinct alternative to existing planning languages such as PDDL, the IxTeT language ... like IxTeT, NDDL and AML), supports rich temporal constraints (like IxTeT, NDDL ... language supports both generative and HTN planning models in a uniform framework...
  • ImproteK

  • Referenced in 2 articles [sw31404]
  • article deals with the integration of temporal specifications in the music generation process by means ... issue of the dialectic between reactivity and planning in interactive music improvisation. It covers...
  • DarwinSPL

  • Referenced in 1 article [sw26909]
  • Moreover, by providing support for temporal variability, DarwinSPL supports performing arbitrary evolutionary changes to spatial ... variability and tracking of previous evolution and planning future evolution of SPLs. We show...