Sciweavers

1246 search results - page 34 / 250
» Programming Organization-Aware Agents
Sort
View
ATAL
2005
Springer
14 years 4 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
13 years 11 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
14 years 3 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
14 years 4 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
14 years 10 days 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, ...