Sciweavers

468 search results - page 70 / 94
» Reasoning about action and cooperation
Sort
View
ICPADS
2008
IEEE
14 years 2 months ago
Bootstrapping in Peer-to-Peer Systems
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
Mirko Knoll, Arno Wacker, Gregor Schiele, Torben W...
IAT
2007
IEEE
14 years 2 months ago
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...
DALT
2007
Springer
14 years 1 months ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
ISPW
2006
IEEE
14 years 1 months ago
Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lor...
ATAL
2004
Springer
14 years 1 months ago
COORDINATORS: Coordination Managers for First Responders
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
Thomas Wagner, John Phelps, Valerie Guralnik, Ryan...