Inference in the FO(C) Modelling Language.

Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Browse the full ECAI paper archive.