Sciweavers

3 search results - page 1 / 1
» Linking Makinson and Kraus-Lehmann-Magidor preferential enta...
Sort
View
CORR
2002
Springer
115views Education» more  CORR 2002»
13 years 3 months ago
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
Yves Moinard
ECSQARU
1999
Springer
13 years 8 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
IGPL
2000
103views more  IGPL 2000»
13 years 3 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron