On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases.

Halina Przymusinska

Browse the full ISMIS paper archive.