Constrained term-rewriting induction with applications.

Gerald E. Peterson

Published in: Methods Log. Comput. Sci. (1994)

Keyphrases

term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
rewrite systems
rule induction
machine learning
inductive learning
knowledge base
multi agent
active learning
semi supervised
formal semantics
constructive induction
program synthesis