Sciweavers

312 search results - page 34 / 63
» On Temporal Planning as CSP
Sort
View
ECAI
2000
Springer
13 years 12 months ago
Incremental Forward Checking for the Disjunctive Temporal Problem
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
Angelo Oddi, Amedeo Cesta
PUK
2000
13 years 9 months ago
Scheduling in a Planning Environment
In a real planning problem, there exists a set of constraints (both temporal constraints and resource usage constraints) which must be satisfied in order to obtain a feasible plan....
Antonio Garrido Tejero, Miguel A. Salido, Federico...
CI
2011
93views more  CI 2011»
13 years 2 months ago
Supporting clinical processes and decisions by hierarchical planning and scheduling
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
Juan Fernández-Olivares, Luis A. Castillo, ...
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 11 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ATAL
2008
Springer
13 years 9 months ago
AERIAL: hypothetical trajectory planning for multi-UAVs coordination and control
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
Paul-Edouard Marson, Michaël Soulignac, Patri...