422 search results - page 9 / 85 » On Modal Refinement and Consistency |
101
click to vote
FLAIRS
2004
15 years 1 months ago
2004
This paper presents a new method of interactive refinement of a knowledge base. The first step of our method is a validation stage which checks the consistency and the completenes...
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an identification and authentication system based on hand modality which is part of a reference system for all modalities developed within the Biosecure consortium. It...
77
Voted
ACL
2008
15 years 1 months ago
2008
We apply the hypothesis of "One Sense Per Discourse" (Yarowsky, 1995) to information extraction (IE), and extend the scope of "discourse" from one single docum...
TARK
1998
Springer
15 years 3 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...
108
click to vote
LOGCOM
2002
14 years 11 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...