Design of a parallel theorem prover for first order logic.
Wen-Tsuen ChenTzren-Ru ChouKuen-Rong HsiehHuai-Jen LiuPublished in: COMPSAC (1991)
Keyphrases
- theorem prover
- first order logic
- theorem proving
- inference rules
- expressive power
- propositional logic
- knowledge representation
- term rewriting
- probabilistic reasoning
- formal proof
- automated reasoning
- transitive closure
- formal semantics
- relational algebra
- inductive logic programming
- horn clauses
- representation language
- markov logic networks
- timed automata
- set theory
- markov networks
- predicate calculus
- probability distribution
- search space