Performance Testing of Propositional Logic Inference Engines.
Richard C. HicksKeith WrightPublished in: J. Comput. Inf. Syst. (2009)
Keyphrases
- propositional logic
- first order logic
- belief revision
- lattice theory
- probabilistic reasoning
- quantified boolean formulae
- satisfiability testing
- inference process
- bayesian networks
- function free horn
- proof procedure
- possibilistic logic
- belief change
- truth maintenance systems
- davis putnam
- propositional satisfiability
- nonmonotonic reasoning
- knowledge base
- propositional formulas
- horn logic