Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.

Joachim Draeger

Published in: TABLEAUX (2000)

Keyphrases

theorem prover
statistical model
probabilistic model
artificial intelligence
similarity measure
objective function
experimental data
probability distribution
conceptual model
computer algebra
proof planning