422 search results - page 25 / 85 » On Modal Refinement and Consistency |
123
click to vote
FLAIRS
2000
15 years 5 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
149
click to vote
ENTCS
2008
15 years 4 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
139
click to vote
JANCL
2007
15 years 4 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...
114
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
Magnetic Resonance Imaging (MRI) is a medical imaging modality that provides structural and functional information. To improve the contrast of MR images, contrast agents, such as ...
178
click to vote
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Fusing the scores of several biometric systems is a very promising approach to improve the overall system’s accuracy. Despite many works in the literature, it is surprising that ...