Proving Inductive Theorems in Equational Theories.
Dieter HofbauerRalf-Detlef KutschePublished in: ADT (1988)
Keyphrases
- equational theories
- inductive learning
- theorem proving
- machine learning
- inductive logic programming
- inductive inference
- function symbols
- inductive reasoning
- functional programs
- artificial intelligence
- domain knowledge
- knowledge representation
- user defined
- constraint satisfaction
- integrity constraints
- rule learning