406 search results - page 11 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
DEON
2004
Springer
15 years 5 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
LOGCOM
2008
14 years 11 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
AAAI
2008
15 years 2 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
DALT
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper offers a formalization of iterated belief revision for multiagent communication using the logic of communication graphs introduced in [15]. In this study we co...