Sciweavers

1223 search results - page 208 / 245
» Distributed Manufacturing Scheduling Using Intelligent Agent...
Sort
View
SELMAS
2005
Springer
14 years 2 months ago
Characterization and Evaluation of Multi-agent System Architectural Styles
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
Paul Davidsson, Stefan J. Johansson, Mikael Svahnb...
ATAL
2005
Springer
14 years 2 months ago
Enforceable social laws
In this paper we study the enforcement of social laws in artificial social systems using a control system. We define the enforceable social law problem as an extension of Tennen...
Guido Boella, Leendert W. N. van der Torre
ECAL
2001
Springer
14 years 1 months ago
Insect Inspired Visual Control of Translatory Flight
Flying insects use highly efficient visual strategies to control their self-motion in three-dimensional space. We present a biologically inspired, minimalistic model for visual ...
Titus R. Neumann, Heinrich H. Bülthoff
ATAL
2005
Springer
14 years 2 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
ECAI
1994
Springer
14 years 1 months ago
Coherent Social Action
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
Michael Wooldridge