Predicate Subtyping with Predicate Sets.

Published in: TPHOLs (2001)

Keyphrases

first order logic
horn clauses
training data
database
real world
metadata
three dimensional
high level
data structure
pairwise