DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.
Stefan GerberdingPublished in: ISMVL (1996)
Keyphrases
- first order logic
- theorem prover
- valued logic
- multiple valued
- inference rules
- propositional logic
- theorem proving
- automated reasoning
- term rewriting
- knowledge representation
- probabilistic reasoning
- horn clauses
- predicate calculus
- natural deduction
- multi valued
- decision diagrams
- truth values
- file organization
- datalog programs
- artificial intelligence
- feature selection