Proofs by induction in equational theories without constructors.

Jean-Pierre Jouannaud Emmanuel Kounalis

Published in: Bull. EATCS (1985)

Keyphrases

equational theories
description logics
theorem proving
rule induction
inductive learning
databases
knowledge representation and reasoning
machine learning
inductive logic programming
inductive inference
function symbols
proof search
knowledge base
general purpose
incomplete information