Sciweavers

1912 search results - page 58 / 383
» GOAL as a Planning Formalism
Sort
View
IJCAI
1997
15 years 1 months ago
Let's Plan It Deductively!
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
Wolfgang Bibel
AAAI
1994
15 years 1 months ago
On the Nature of Modal Truth Criteria in Planning
Chapman's paper, ``Planning for Conjunctive Goals,'' has been widely acknowledged for its contribution toward understanding the nature of nonlinear (partial-order) ...
Subbarao Kambhampati, Dana S. Nau
IJCAI
1989
15 years 1 months ago
On Cooperation in a Multi-Entity Model
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
Moshe Tennenholtz, Yoram Moses
ICRA
2008
IEEE
140views Robotics» more  ICRA 2008»
15 years 6 months ago
An optimization approach to planning for mobile manipulation
— We present an optimization-based approach to grasping and path planning for mobile manipulators. We focus on pick-and-place operations, where a given object must be moved from ...
Dmitry Berenson, James Kuffner, Howie Choset
CAEPIA
2005
Springer
15 years 5 months ago
Mapping Conformant Planning into SAT Through Compilation and Projection
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
Héctor Palacios, Hector Geffner