Sciweavers

4595 search results - page 154 / 919
» Reasoning about Plans
Sort
View
ICCV
2001
IEEE
16 years 9 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...
JAIR
2012
205views Hardware» more  JAIR 2012»
13 years 9 months ago
COLIN: Planning with Continuous Linear Numeric Change
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...
171
Voted
RWEB
2009
Springer
16 years 1 months ago
Logical Foundations of XML and XQuery
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
Maarten Marx
175
Voted
KR
2000
Springer
15 years 10 months ago
Representing the Knowledge of a Robot
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
Michael Thielscher
AAAI
2007
15 years 9 months ago
On the Reasoning Patterns of Agents in Games
What reasoning patterns do agents use to choose their actions in games? This paper studies this question in the context of Multi-Agent Influence Diagrams (MAIDs). It defines sev...
Avi Pfeffer, Ya'akov Gal