Higher-Order Constrained Horn Clauses and Refinement Types.

Toby Cathcart Burn C.-H. Luke Ong Steven J. Ramsay

Published in: CoRR (2017)

Keyphrases

higher order
horn clauses
inductive logic programming
first order logic
natural images
high order
logic programs
lattice theory
inference rules
conceptual clustering
database
search engine
pairwise
query processing
data points
knn