In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
Wieke de Vries, Frank S. de Boer, Koen V. Hindriks...
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...
Abstract-- Mobile Agents are a well-known programming paradigm nowadays. There is a multitude of research concerning Mobile Agent Systems with emphasize on agent coordination, agen...
Michael Friedrich, Kirsten Terfloth, Gerd Nusser, ...