Grounding FO and FO(ID) with Bounds.

Johan Wittocx Maarten Mariën Marc Denecker

Published in: CoRR (2014)

Keyphrases

first order logic
transitive closure
fixpoint
real time
upper bound
lower bound
worst case
expressive power
machine learning
search engine
feature selection
special case
logic programs
relational model
constraint databases