Design of a Parallel Theorem Prover for First Order Logic.
Wen-Tsuen ChenTzren-Ru ChouKuen-Rong HsiehHuai-Jen LiuPublished in: J. Inf. Sci. Eng. (1991)
Keyphrases
- theorem prover
- first order logic
- theorem proving
- inference rules
- expressive power
- propositional logic
- automated reasoning
- probabilistic reasoning
- term rewriting
- knowledge representation
- representation language
- natural deduction
- predicate calculus
- markov networks
- transitive closure
- relational algebra
- inductive logic programming
- formal semantics
- quantifier elimination
- probabilistic graphical models
- markov logic networks
- artificial intelligence
- proof search
- formal proof
- proof procedure
- description logics
- expert systems
- training data