Translating Default Logic into Standard Autoepistemic Logic

Bibliografische gegevens
Hoofdauteur: Gottlob, G
Formaat: Journal article
Gepubliceerd in: 1995