Sciweavers

1246 search results - page 34 / 250
» Programming Organization-Aware Agents
Sort
View
ATAL
2005
Springer
15 years 11 months ago
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming
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...
Owen Cliffe, Marina De Vos, Julian A. Padget
AAMAS
2006
Springer
15 years 6 months ago
Verifying Multi-agent Programs by Model Checking
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, ...
CEEMAS
2001
Springer
15 years 10 months ago
A Programming Language for Coordinating Group Actions
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...
IAT
2003
IEEE
15 years 11 months ago
Discovery of Emergent Natural Laws by Hierarchical Multi-Agent Systems
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...
Henk Stolk, Kevin Gates, Jim Hanan
IC
2004
15 years 7 months ago
Mobile Agents: A Construction Kit for Mobile Device Applications
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, ...