Verification of non-monotonic knowledge bases

Neli P. Zlatareva. Verification of non-monotonic knowledge bases. Decision Support Systems, 21(4):253-261, 1997. [doi]

Abstract

Abstract is missing.