479 search results - page 48 / 96 » A quantified logic of evidence |
107
click to vote
LREC
2010
15 years 3 months ago
2010
This paper presents a word sense disambiguation (WSD) approach based on syntactic and logical representations. The objective here is to run a number of experiments to compare stan...
123
click to vote
MST
2010
14 years 8 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
119
click to vote
GLVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
111
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
114
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...