468 search results - page 42 / 94 » Reasoning about action and cooperation |
IVA
2010
Springer
13 years 6 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
FUIN
2006
13 years 9 months ago
2006
This paper considers the problem of how to establish calculi of approximation spaces. Approximation spaces considered in the context of rough sets were introduced by Zdzislaw Pawla...
IJCAI
1997
13 years 10 months ago
1997
Planning for real-time applications involves decisions not only about what actions to take in what states to progress toward achieving goals (the traditional decision problem face...
ATAL
2001
Springer
14 years 1 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...