Sciweavers

1614 search results - page 111 / 323
» Planning as Temporal Reasoning
Sort
View
ISRR
2005
Springer
154views Robotics» more  ISRR 2005»
15 years 12 months ago
Session Overview Planning
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
Nicholas Roy, Roland Siegwart
ICCV
2001
IEEE
16 years 8 months ago
Recognizing Large 3-D Objects through Next View Planning using an Uncalibrated Camera
We present a new on-line scheme for the recognition and pose estimation of a large isolated 3-D object, which may not entirely fit in a camera's field of view. We do not assu...
Sumantra Dutta Roy, Santanu Chaudhury, Subhashis B...
ATAL
2010
Springer
15 years 7 months ago
Linear options
Learning, planning, and representing knowledge in large state t multiple levels of temporal abstraction are key, long-standing challenges for building flexible autonomous agents. ...
Jonathan Sorg, Satinder P. Singh
KR
2010
Springer
15 years 10 months ago
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
Francesco Belardinelli, Alessio Lomuscio
IJCAI
1993
15 years 7 months ago
Situation Recognition: Representation and Algorithms
The situation recognition system, to which this paper is devoted, receives as input a stream of time-stamped events; it performs recognition of instances of occurring situations, ...
Christophe Dousson, Paul Gaborit, Malik Ghallab