A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm.

Wolfgang Küchlin

Published in: EUROCAM (1982)

Keyphrases

theorem proving
term rewriting
knuth bendix
np hard
simulated annealing
probabilistic model
database
machine learning
search space
knowledge representation
constraint satisfaction
theorem prover