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

Junker, U.U.JunkerKonolige, K.K.Konolige2022-03-072022-03-071990https://publica.fraunhofer.de/handle/publica/286184ennon-monotonic reasoningreason maintenance system004005006Computing the extensions of autoepistemic and default logics with a truth mainetenance systemreport