On Self-Admissible Quasi-Characterizing Inference Rules.
Vladimir V. RybakovMehmet TerzilerÇigdem GencerPublished in: Stud Logica (2000)
Keyphrases
- inference rules
- first order logic
- modal logic
- logical framework
- theorem proving
- theorem prover
- logic programming language
- conditional probabilities
- truth values
- state space
- probabilistic knowledge
- natural deduction
- horn clauses
- binary relations
- sequent calculus
- max sat solver
- feature selection
- orders of magnitude
- logic programs
- database systems
- decision trees
- knowledge base