4595 search results - page 320 / 919 » Reasoning about Plans |
225
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
183
click to vote
EPIA
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
253
click to vote
ICNC
2005
Springer
16 years 1 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
215
click to vote
DALT
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
201
click to vote
EVOW
2004
Springer
16 years 27 days ago
2004
Springer
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...