2712 search results - page 92 / 543 » Multiagent Systems |
87
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
From a system's perspective as opposed to an individual agent perspective, MAS adaptation is now becoming an important topic, since it can help to obtain expected outcomes ...
101
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
106
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...
IJAIT
2006
15 years 23 days ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
131
Voted
KES
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...