1990
Conference Paper
Title

Computing the extensions of autoepistemic and default logics with a truth maintenance system

Author(s)
Junker, U.
Konolige, K.
Mainwork
Conference
Language
English
Keyword(s)