67 search results - page 9 / 14 » From Abstract to Concrete Norms in Agent Institutions |
100
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
110
Voted
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
EUMAS
2006
15 years 1 months ago
2006
This paper addresses multi agent system (MAS) environments from an application perspective. It presents a structured view on environment-centric MAS applications. This comprises th...
97
Voted
ITP
2010
14 years 10 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...