A Mechanizable Induction Principle for Equational Specifications.

Hantao Zhang Deepak Kapur Mukkai S. Krishnamoorthy

Published in: CADE (1988)

Keyphrases

theorem proving
inductive learning
machine learning
formal specification
delay insensitive
high level
data structure
explanation based learning
rule induction
subgroup discovery
concept formation
real world
multi agent
inductive logic programming
concept learning