875 search results - page 20 / 175 » Situated Actions and Cognition |
LOGCOM
1998
14 years 11 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
AAAI
1998
15 years 29 days ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
85
Voted
IJUFKS
2000
14 years 11 months ago
2000
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
107
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...
93
Voted
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...