Sciweavers

143 search results - page 6 / 29
» Specifying and Reasoning with Institutional Agents
Sort
View
MATES
2004
Springer
14 years 27 days ago
C-IPS: Specifying Decision Interdependencies in Negotiations
Negotiation is an important mechanism of coordination in multiagent systems. Contrary to early conceptualizations of negotiating agents, we believe that decisions regarding the neg...
Kay Schröter, Diemo Urbig
NORMAS
2005
Springer
14 years 1 months ago
A Framework for the Design of Self-Regulation of Open Agent-based Electronic Marketplaces
In this paper, we argue that allowing self-interested agents to activate social institutions during run-time can improve the robustness (i.e., stability, cooperation or fairness) ...
Christian S. Hahn, Bettina Fley, Michael Florian
DEON
2004
Springer
14 years 28 days ago
Specifying Multiagent Organizations
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
Leendert W. N. van der Torre, Joris Hulstijn, Mehd...
DALT
2009
Springer
14 years 5 days ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...
SEKE
2005
Springer
14 years 1 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu