Sorted HiLog: Sorts in Higher-Order Logic Data Languages.

Weidong Chen Michael Kifer

Published in: ICDT (1995)

Keyphrases

data sets
training data
data sources
database
machine learning
logic programs
logic programming