15660 search results - page 271 / 3132 » The Unbalance of Set Systems |
214
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
148
click to vote
EUROS
2006
15 years 10 months ago
2006
In this paper a multi-agent system architecture for a modular mobility enhancement system is presented. The system consists of one or multiple mobile robotic platforms and a set o...
152
click to vote
HCI
2007
15 years 8 months ago
2007
An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
153
click to vote
ECEH
2006
15 years 8 months ago
2006
: The technology developed for interoperable autonomous systems has significantly changed during the past few years. However, this new technology based on Semantic Web is not yet d...
206
click to vote
ICMAS
2000
2000
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
15 years 8 months ago
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...