1120 search results - page 4 / 224 » A Formal Framework for Interactive Agents |
71
Voted
AI
2001
Springer
15 years 2 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
86
Voted
AAAI
2006
14 years 11 months ago
2006
We analyze the asymptotic behavior of agents engaged in an infinite horizon partially observable stochastic game as formalized by the interactive POMDP framework. We show that whe...
105
click to vote
AIPRF
2007
14 years 11 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
80
Voted
PDSE
2000
14 years 11 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
54
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer