4595 search results - page 366 / 919 » Reasoning about Plans |
216
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
211
click to vote
AAAI
2007
15 years 10 months ago
2007
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
202
click to vote
IJCAI
2007
15 years 9 months ago
2007
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...
189
Voted
IJCAI
2007
15 years 9 months ago
2007
In recent years, there has been a growing interest in using rich representations such as relational languages for reinforcement learning. However, while expressive languages have ...
244
click to vote
IJCAI
1997
15 years 9 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...