3729 search results - page 49 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
DALT
2006
Springer
15 years 11 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
239
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
197
Voted
AAAI
2007
15 years 9 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
213
click to vote
ICCS
2003
Springer
16 years 20 days ago
2003
Springer
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
154
Voted
PRDC
2002
IEEE
16 years 11 days ago
2002
IEEE
