FO(C) and Related Modelling Paradigms.

Bart Bogaerts Joost Vennekens Marc Denecker Jan Van den Bussche

Published in: CoRR (2014)

Keyphrases

first order logic
databases
bayesian networks
relational databases
closely related
genetic algorithm
artificial intelligence
computer vision