Semi-representability of default theories in rational default logic [chapter]

Artur Mikitiuk
1996 Lecture Notes in Computer Science  
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.
doi:10.1007/3-540-61630-6_13 fatcat:r72wuq7wrfdwtndxe63hpwkik4