Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.

Mark E. Stickel

Published in: J. Autom. Reason. (1994)

Keyphrases

theorem proving
theorem prover
artificial intelligence
probabilistic model
bayesian networks
expert systems
logic programming
proof procedure
logical inference
geometry theorem proving