Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study.
Robert J. HallPublished in: J. Autom. Reason. (1992)
Keyphrases
- deductive reasoning
- probabilistic logic
- proof procedure
- knowledge base
- propositional logic
- first order logic
- parameter values
- reasoning tasks
- reasoning process
- knowledge representation
- data sets
- reasoning systems
- default logic
- probabilistic reasoning
- input parameters
- horn clauses
- model based reasoning
- bayesian networks
- polynomial hierarchy