233 search results - page 12 / 47 » Knowledge and modality |
JOLLI
2010
14 years 8 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
116
click to vote
AMSTERDAM
2009
14 years 7 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
101
click to vote
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
MICCAI
2002
Springer
15 years 10 months ago
2002
Springer
This article describes a process to include in a volumetric model various anatomical and mechanical information provided by different sources. Three stages are described, namely a ...
72
Voted
TARK
1998
Springer
15 years 1 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...