2573 search results - page 105 / 515 » Combinations of Modal Logics |
121
click to vote
AAAI
2004
15 years 5 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
107
click to vote
SLOGICA
2002
15 years 3 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
153
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Inferences from time-series data can be greatly enhanced by taking into account multiple modalities. In some cases, such as audio of speech and the corresponding video of lip gest...
153
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we describe an approach for the automatic modality classification in medical image retrieval task of the 2010 CLEF cross-language image retrieval campaign ...