406 search results - page 5 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
AAAI
2000
15 years 29 days ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
ATAL
2010
Springer
15 years 21 days ago
2010
Springer
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...
AAAI
2007
15 years 1 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
124
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
ATAL
2011
Springer
2011
Springer
Agents that speak: modelling communicative plans and information sources in a logic of announcements
13 years 11 months ago