Sciweavers

1912 search results - page 40 / 383
» GOAL as a Planning Formalism
Sort
View
ECAI
2010
Springer
15 years 1 days ago
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies
Motion planning in dynamic environments consists of the generation of a collision-free trajectory from an initial to a goal state. When the environment contains uncertainty, preven...
Stefan Zickler, Manuela M. Veloso
IJCAI
1997
15 years 1 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
ATAL
2010
Springer
15 years 29 days ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
14 years 10 months ago
Combining planning techniques for manipulation using realtime perception
Abstract— We present a novel combination of motion planning techniques to compute motion plans for robotic arms. We compute plans that move the arm as close as possible to the go...
Ioan Alexandru Sucan, Mrinal Kalakrishnan, Sachin ...
CAISE
2004
Springer
15 years 3 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...