Sciweavers

3729 search results - page 33 / 746
» On Formal Modeling of Agent Computations
Sort
View
AAMAS
2007
Springer
14 years 12 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
CAISE
2005
Springer
15 years 5 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels
DAGSTUHL
2007
15 years 1 months ago
Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...
Paul Davidsson, Andreas Jacobsson
ESAW
2006
Springer
15 years 3 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
AOSE
2004
Springer
15 years 5 months ago
An Agent Construction Model for Ubiquitous Computing Devices
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
Ronald Ashri, Michael Luck