Sciweavers

4902 search results - page 22 / 981
» Multi-agent Systems Methodology
Sort
View
103
Voted
KR
2010
Springer
15 years 3 months ago
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
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 ...
Francesco Belardinelli, Alessio Lomuscio
ENTCS
2006
153views more  ENTCS 2006»
14 years 11 months ago
Multi-Agent System Development Based on Organizations
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
Estefania Argente, Vicente Julián, Vicente ...
ATAL
2004
Springer
15 years 5 months ago
Universality in Multi-Agent Systems
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
H. Van Dyke Parunak, Sven Brueckner, Robert Savit
DALT
2009
Springer
15 years 3 months ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
BIRTHDAY
2008
Springer
15 years 1 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...