2638 search results - page 193 / 528 » Frameworks for Reasoning about Agent Based Systems |
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
166
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
149
click to vote
ENC
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
344
click to vote
AMCS
2011
15 years 1 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
151
click to vote
ACOM
2004
Springer
15 years 10 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...