Junker, U.U.Junker2022-03-082022-03-081991https://publica.fraunhofer.de/handle/publica/318285ennon-monotonic reasoningtruth maintenance system004005006Prioritized defaults: Implementation by TMS and application to diagnosisconference paper