The Problem of Finding a Semantic Strategy for Focusing Inference Rules.
Larry WosPublished in: J. Autom. Reason. (1990)
Keyphrases
- inference rules
- theorem proving
- first order logic
- modal logic
- truth values
- logical framework
- theorem prover
- logic programming language
- sequent calculus
- semantic web
- horn clauses
- conditional probabilities
- probabilistic knowledge
- natural deduction
- binary relations
- set of inference rules
- bayesian networks
- branch and bound algorithm
- knowledge representation
- relational databases
- lower bound
- natural language