3 search results - page 1 / 1 » Alternative foundations for Reiter's default logic |
88
Voted
AI
2000
Springer
14 years 10 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
95
Voted
LANMR
2007
14 years 11 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
CORR
2000
Springer
14 years 10 months 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...