Sciweavers

CLIMA
2004
13 years 6 months ago
A New HTN Planning Framework for Agents in Dynamic Environments
In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was init...
Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga
FAABS
2004
Springer
13 years 8 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
SAC
2003
ACM
13 years 9 months ago
Managing Agent Life Cycles in Open Distributed Systems
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
Frances M. T. Brazier, David G. A. Mobach, Benno J...