METEORs: High Performance Theorem Provers Using Model Elimination.

Owen L. Astrachan

Published in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)

Keyphrases

probabilistic model
mathematical model
theorem prover
similarity measure
computational model
artificial intelligence
expert systems
experimental data
inference rules
formal semantics