Grounding FO and FO(ID) with Bounds.

Johan Wittocx Maarten Mariën Marc Denecker

Published in: J. Artif. Intell. Res. (2010)

Keyphrases

first order logic
transitive closure
upper bound
fixpoint
lower bound
expressive power
evolutionary algorithm
query language
multi class
average case
constraint query languages
genetic algorithm
knowledge representation
relational model