3446 search results - page 107 / 690 » A Reasoning Algorithm for pD* |
140
click to vote
SPIRE
1998
Springer
15 years 5 months ago
1998
Springer
A successful technique to search large textual databases allowing errors relies on an online search in the vocabulary of the text. To reduce the time of that online search, we ind...
102
click to vote
EDM
2010
15 years 3 months ago
2010
In this paper we detail a preliminary model for reasoning about annotating learning objects and intelligently showing annotations to users who will benefit from them. Student inter...
115
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
124
click to vote
KR
2010
Springer
14 years 11 months ago
2010
Springer
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
116
click to vote
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...