Sciweavers

45 search results - page 4 / 9
» clima 2007
Sort
View
CLIMA
2004
13 years 8 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
CLIMA
2004
13 years 8 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
CLIMA
2004
13 years 8 months ago
Symbolic Negotiation with Linear Logic
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
Peep Küngas, Mihhail Matskin
CLIMA
2004
13 years 8 months ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...
CLIMA
2004
13 years 8 months ago
Distributed Algorithms for Dynamic Survivability of Multiagent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized su...
V. S. Subrahmanian, Sarit Kraus, Yingqian Zhang