Skeptical rational extensions (0)

by A Mikitiuk, M Truszczy'nski
Venue:Logic Programming and Non-Monotonic Reasoning. Proceedings of the Third International Conference
Add To MetaCart
Results 1 - 1 of 1

Semi-Representability of Default Theories in Rational Default Logic

by Artur Mikitiuk - In Lecture Notes in Artificial Intelligence 1126 , 1996
"... Marek and Truszczy'nski studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language L has been extended by new atoms. We will prove in this paper that their construction preserves ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Marek and Truszczy'nski studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language L has been extended by new atoms. We will prove in this paper that their construction preserves also rational and skeptical rational extensions.
(Show Context)