Translating Default Logic into Standard Autoepistemic Logic

Bibliographische Detailangaben
1. Verfasser: Gottlob, G
Format: Journal article
Veröffentlicht: 1995