432 search results - page 9 / 87 » Dynamic Logic With Possible World |
CLIMA
2006
13 years 9 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
LAI
1996
13 years 8 months ago
1996
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
IJVR
2008
13 years 7 months ago
2008
Museums like marine aquariums are facing a difficult problem when trying to deliver information to their visitors. The exhibits they propose are dynamic by definition. Each may con...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...