Sciweavers

622 search results - page 36 / 125
» The Agent Modeling Language (AMOLA)
Sort
View
ERCIMDL
1998
Springer
146views Education» more  ERCIMDL 1998»
14 years 1 months ago
METU-Emar: An Agent-Based Electronic Marketplace on the Web
Abstract. In this paper, we describe a scenario for a distributed marketplace on the Web where resource discovery agents find out about resources that may want to join the marketpl...
Asuman Dogac, Ilker Durusoy, Sena Nural Arpinar, E...
ECAI
2006
Springer
14 years 23 days ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
IJCAI
2001
13 years 10 months ago
Multi-Agent Influence Diagrams for Representing and Solving Games
The traditional representations of games using the extensive form or the strategic (normal) form obscure much of the structure that is present in real-world games. In this paper, ...
Daphne Koller, Brian Milch
JLP
2006
126views more  JLP 2006»
13 years 9 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
ATAL
2010
Springer
13 years 10 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga