3729 search results - page 93 / 746 » On Formal Modeling of Agent Computations |
SBP
2010
Springer
15 years 3 months ago
2010
Springer
125
click to vote
LOGCOM
1998
14 years 11 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
AAAI
2008
15 years 2 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
124
click to vote
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
129
click to vote
IWFM
2003
15 years 1 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...