Sciweavers

CORR
2000
Springer
79views Education» more  CORR 2000»
13 years 3 months ago
Local Diagnosis
Renata Wassermann
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 3 months ago
Declarative Representation of Revision Strategies
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...
Gerhard Brewka
CORR
2000
Springer
88views Education» more  CORR 2000»
13 years 3 months ago
The lexicographic closure as a revision process
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...
Richard Booth
CORR
2000
Springer
58views Education» more  CORR 2000»
13 years 3 months ago
On the semantics of merging
Thomas Andreas Meyer
CORR
2000
Springer
62views Education» more  CORR 2000»
13 years 3 months ago
SLT-Resolution for the Well-Founded Semantics
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 3 months ago
Uniform semantic treatment of default and autoepistemic logics
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...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...
CORR
2000
Springer
91views Education» more  CORR 2000»
13 years 3 months ago
Multi-Agent Only Knowing
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...
Joseph Y. Halpern, Gerhard Lakemeyer