406 search results - page 5 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
AAAI
2000
14 years 11 months 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...
82
Voted
ATAL
2010
Springer
14 years 10 months 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
14 years 12 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...
112
Voted
ARGMAS
2004
Springer
15 years 2 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’...
74
Voted
ATAL
2011
Springer
2011
Springer
Agents that speak: modelling communicative plans and information sources in a logic of announcements
13 years 9 months ago