Found ations of assumption-based truth maintenance systems: preliminary report
Raymond Reiter, Johan de Kleer · National Conference on Artificial Intelligence · 1987
In this paper we (1) define the concept of a Clause Management System (CMS) -- a generalization of de Kleer's ATMS, (2) motivate such systems in terms of efficiency of search and abductive reasoning, and (3) characterize the computation affected by a CMS in terms of the concept of prime implicants.