Sciweavers

7 search results - page 1 / 2
» faabs 2004
Sort
View
FAABS
2004
Springer
13 years 9 months ago
From Abstract to Concrete Norms in Agent Institutions
Davide Grossi, Frank Dignum
FAABS
2004
Springer
13 years 9 months ago
Meeting the Deadline: Why, When and How
Frank Dignum, Jan Broersen, Virginia Dignum, John-...
FAABS
2004
Springer
13 years 9 months ago
Agent-Based Chemical Plume Tracing Using Fluid Dynamics
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...
Dimitri Zarzhitsky, Diana F. Spears, David R. Thay...
FAABS
2004
Springer
13 years 7 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
FAABS
2004
Springer
13 years 9 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang