5243 search results - page 321 / 1049 » Reasoning About Strategies |
167
click to vote
RTA
1987
Springer
15 years 10 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
156
click to vote
BMVC
2002
15 years 9 months ago
2002
This paper investigates the combination of spatial and probabilistic models for reasoning about pedestrian behaviour in visual surveillance systems. Models are learnt by a multi-s...
165
click to vote
COLING
2008
15 years 8 months ago
2008
Reasoning about how much to generate when space is limited is a challenge for generation systems. This paper presents two algorithms that exploit the discourse structure to decide...
176
click to vote
IJCAI
2007
15 years 8 months ago
2007
Deictic representation is a representational paradigm, based on selective attention and pointers, that allows an agent to learn and reason about rich complex environments. In this...
140
click to vote
LREC
2008
15 years 8 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...