481 search results - page 2 / 97 » Validity of First-Order Knowledge Bases |
KR
1998
Springer
13 years 9 months ago
1998
Springer
FOIKS
2008
Springer
13 years 7 months ago
2008
Springer
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
DLOG
2003
13 years 6 months ago
2003
We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
SIAMNUM
2011
13 years 11 days ago
2011
We introduce a new mixed method for the biharmonic problem. The method is based on a formulation where the biharmonic problem is re-written as a system of four first-order equatio...
AAAI
1996
13 years 6 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...