A crevice on the Crane Beach: Finite-degree predicates.

Michaël Cadilhac Charles Paperman

Published in: LICS (2017)

Keyphrases

function symbols
finite number
co occurrence
control strategies
real world
machine learning
learning algorithm
knowledge base
relational databases
user defined
horn clauses
finite automata
symmetry breaking