93
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
A general notion of algebraic conditional plausibility measures is de ned. Probability measures, ranking functions, possibility measures, and under the appropriate de nitions sets...
51
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
CORR
2000
Springer
15 years 15 days ago
2000
Springer
115
click to vote
CORR
2000
Springer
15 years 15 days ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
CORR
2000
Springer
15 years 15 days ago
2000
Springer
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
CORR
2000
Springer
15 years 15 days ago
2000
Springer
49
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
107
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
105
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...