First-order quantified separators.

Jason R. Koenig Oded Padon Neil Immerman Alex Aiken

Published in: PLDI (2020)

Keyphrases

universally quantified
first order logic
higher order
horn clauses
database
learning algorithm
search engine
information systems
artificial neural networks
logic programs
probabilistic logic
theory revision
stochastic dominance