336 search results - page 3 / 68 » Budget-Constrained Knowledge in Multiagent Systems |
112
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
117
click to vote
CIA
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...
111
click to vote
WM
2003
15 years 1 months ago
2003
: We present an implementation of a multi-agent system whose goal is to solve the problem of tacit knowledge transfer by means of sharing of experiences. In particular, we consider...
83
Voted
WCE
2007
15 years 1 months ago
2007
— The advent of ubiquitous computing has revolutionized distributed Multi-agent systems (MAS). Consequently, there are many software projects focusing on MASs. However, its succe...
101
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...