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
An incremental method for generating prime implicants/implicates
Journal of Symbolic Computation
Incremental evaluation of rules and its relationship to parallelism
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Two-Sided Hypotheses Generation for Abductive Analogical Reasoning
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
What makes propositional abduction tractable
Artificial Intelligence
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
How to Complete an Interactive Configuration Process?
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Argument calculus and networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Probabilistic assumption-based reasoning
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Objection-based causal networks
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
What should be abducible for abductive nursing risk management?
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
An approach to abductive reasoning in equational logic
IJCAI'13 Proceedings of the Twenty-Third 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.