Automatic Proofs by Induction in Equational Theories Without Constructors

Jean-Pierre Jouannaud Emmanuel Kounalis

Published in: LICS (1986)

Keyphrases

equational theories
theorem proving
function symbols
description logics
inductive learning
rule induction
artificial intelligence
fully automatic
inductive logic programming