Sciweavers

595 search results - page 41 / 119
» Hippocratic Multi-Agent Systems
Sort
View
AMAI
1999
Springer
13 years 7 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri
ICAI
2003
13 years 9 months ago
A Quantitative Model of Capabilities in Multi-Agent Systems
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
Linli He, Thomas R. Ioerger
EUROCAST
2009
Springer
134views Hardware» more  EUROCAST 2009»
14 years 2 months ago
Debugging and Verification of Multi-Agent Systems
Clara Benac Earle, Lars-Åke Fredlund
CRV
2007
IEEE
124views Robotics» more  CRV 2007»
14 years 2 months ago
Petri Net-Based Cooperation In Multi-Agent Systems
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
Yehia Thabet Kotb, Steven S. Beauchemin, John L. B...