Sciweavers

1614 search results - page 56 / 323
» Planning as Temporal Reasoning
Sort
View
MKM
2005
Springer
15 years 11 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
ISESE
2005
IEEE
15 years 11 months ago
An empirical investigation on the visualization of temporal uncertainties in software engineering project planning
The success of software projects depends on the ability of a human planner to understand the relationships of tasks and their temporal uncertainty and hence the visualization ther...
Stefan Biffl, Bettina Thurnher, G. Goluch, Dietmar...
LANMR
2004
15 years 7 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
ICRA
2003
IEEE
143views Robotics» more  ICRA 2003»
15 years 11 months ago
Cooperative task planning of multi-robot systems with temporal constraints
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
Feng-Li Lian, Richard M. Murray
IJCAI
2001
15 years 7 months ago
Dynamic Control Of Plans With Temporal Uncertainty
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
Paul H. Morris, Nicola Muscettola, Thierry Vidal