Specifications of Inference Rules and Their Automatic Translation.
Gerd NeugebauerUwe PetermannPublished in: TABLEAUX (1995)
Keyphrases
- inference rules
- first order logic
- modal logic
- theorem proving
- logical framework
- logic programming language
- theorem prover
- horn clauses
- conditional probabilities
- sequent calculus
- data sets
- truth values
- decision trees
- knowledge representation
- database systems
- orders of magnitude
- logic programs
- binary relations
- expert systems
- natural deduction
- artificial intelligence