Considerations on default logic: an alternative approach1
Witold Łukaszewicz · Computational Intelligence · 1988
In the following paper we analyze Reiter's default logic and suggest modifying the notion of an extension for default theories. This modification leads to two important properties which are not guaranteed in Reiter's formalism: the existence of extensions and semimonotonicity.