Sciweavers

2 search results - page 1 / 1
» Skeptical Inheritance: Computing the Intersection of Credulo...
Sort
View
LPNMR
1995
Springer
13 years 8 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski