Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses.

Published in: HCVS@ETAPS (2021)

Keyphrases

higher order
horn clauses
high order
pairwise
markov random field
natural images
lower order
machine learning
inductive logic programming
conceptual clustering
feature selection
knowledge base
first order logic
datalog programs