Artificial Intelligence
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
RESIDUE: a deductive approach to design synthesis
RESIDUE: a deductive approach to design synthesis
Completeness theorems for semantic resolution in consequence-finding
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Hi-index | 0.00 |
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.