Deriving Inference Rules for Terminological Logics.
Véronique RoyerJoachim QuantzPublished in: JELIA (1992)
Keyphrases
- inference rules
- probabilistic knowledge
- modal logic
- proof procedures
- first order logic
- knowledge base
- theorem proving
- truth values
- logic programming language
- epistemic logic
- knowledge representation
- theorem prover
- logical framework
- sequent calculus
- conditional probabilities
- expert systems
- temporal logic
- horn clauses