Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.

Brigitte Pientka Christoph Kreitz

Published in: AISC (1998)

Keyphrases

existentially quantified
universally quantified
logic programs
inductive logic programming
predicate invention
high level
knowledge representation
logic programming
theorem proving
machine learning
industrial applications