Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
PDDL2. 1: An extension to PDDL for expressing temporal planning domains
In recent years research in the planning community has moved increasingly toward s
application of planners to realistic problems involving both time and many typ es of …
application of planners to realistic problems involving both time and many typ es of …
A tutorial on planning graph based reachability heuristics
The primary revolution in automated planning in the last decade has been the very
impressive scale-up in planner performance. A large part of the credit for this can be …
impressive scale-up in planner performance. A large part of the credit for this can be …
Branching and pruning: An optimal temporal POCL planner based on constraint programming
A key feature of modern optimal planners such as graphplan and blackbox is their ability to
prune large parts of the search space. Previous Partial Order Causal Link (POCL) planners …
prune large parts of the search space. Previous Partial Order Causal Link (POCL) planners …
COLIN: Planning with continuous linear numeric change
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of
reasoning with COntinuous LINear numeric change, in addition to the full temporal …
reasoning with COntinuous LINear numeric change, in addition to the full temporal …
When is temporal planning really temporal?
While even STRIPS planners must search for plans of unbounded length, temporal planners
must also cope with the fact that actions may start at any point in time. Most temporal …
must also cope with the fact that actions may start at any point in time. Most temporal …
[SÁCH][B] Handbook of temporal reasoning in artificial intelligence
This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …
Processes and continuous change in a SAT-based planner
JA Shin, E Davis - Artificial Intelligence, 2005 - Elsevier
The TM-LPSAT planner can construct plans in domains containing atomic actions and
durative actions; events and processes; discrete, real-valued, and interval-valued fluents; …
durative actions; events and processes; discrete, real-valued, and interval-valued fluents; …
[PDF][PDF] Heuristic Planning for PDDL+ Domains.
Planning with hybrid domains modelled in PDDL+ has been gaining research interest in the
Automated Planning community in recent years. Hybrid domain models capture a more …
Automated Planning community in recent years. Hybrid domain models capture a more …
[PDF][PDF] Planning with Problems Requiring Temporal Coordination.
We present the first planner capable of reasoning with both the full semantics of PDDL2. 1
(level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs …
(level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs …
An approach to temporal planning and scheduling in domains with predictable exogenous events
The treatment of exogenous events in planning is practically important in many real-world
domains where the preconditions of certain plan actions are affected by such events. In this …
domains where the preconditions of certain plan actions are affected by such events. In this …