Renamable Paramodulation for Automatic Theorem Proving with Equality.

Chin-Liang Chang

Published in: Artif. Intell. (1970)

Keyphrases

automatic theorem proving
inference rules
theorem proving
knowledge compilation
first order logic
data mining
information retrieval
genetic algorithm
decision making
database systems
search algorithm
evolutionary algorithm
special case
natural language processing