Translating Default Logic into Standard Autoepistemic Logic

Bibliographic Details
Main Author: Gottlob, G
Format: Journal article
Published: 1995