A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Semi-representability of default theories in rational default logic
[chapter]
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