1814 search results - page 227 / 363 » Extended First-Order Logic |
122
click to vote
DMIN
2006
15 years 4 months ago
2006
- As is generally accepted, the most important feature that a Knowledge Discovery in Database (KDD) system must possess is, to be able to discover patterns that are "novel&quo...
120
click to vote
EUSFLAT
2001
15 years 4 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...
126
click to vote
AAAI
2000
15 years 4 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
113
click to vote
UAI
2003
15 years 4 months ago
2003
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varyi...
135
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...