Towards Computing Revised Models for FO Theories. - Johan Wittocx; Broes De Cat; Marc Denecker (INAP, 2009)

FO(FD): Extending classical logic with rule-based fixpoint definitions. - Ping Hou; Broes De Cat; Marc Denecker (Theory Pract. Log. Program., 2010)

Modeling Machine Learning and Data Mining Problems with FO(·). - Hendrik Blockeel; Bart Bogaerts 001; Maurice Bruynooghe; Broes De Cat; Stef De Pooter; Marc Denecker; Anthony Labarre; Jan Ramon; Sicco Verwer (ICLP (Technical Communications), 2012)

Lazy Model Expansion by Incremental Grounding. - Broes De Cat; Marc Denecker; Peter J. Stuckey (ICLP (Technical Communications), 2012)

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. - Jo Devriendt; Bart Bogaerts 001; Broes De Cat; Marc Denecker; Christopher Mears (ICTAI, 2012)

Model Expansion in the Presence of Function Symbols Using Constraint Programming. - Broes De Cat; Bart Bogaerts 001; Jo Devriendt; Marc Denecker (ICTAI, 2013)

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (CoRR, 2013)

Detection and exploitation of functional dependencies for model generation. - Broes De Cat; Maurice Bruynooghe (Theory Pract. Log. Program., 2013)

Predicate Logic as a Modelling Language: The IDP System. - Broes De Cat; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (CoRR, 2014)

Simulating Dynamic Systems Using Linear Time Calculus Theories. - Bart Bogaerts 001; Joachim Jansen; Maurice Bruynooghe; Broes De Cat; Joost Vennekens; Marc Denecker (Theory Pract. Log. Program., 2014)

Lazy Model Expansion: Interleaving Grounding with Search. - Broes De Cat; Marc Denecker; Maurice Bruynooghe; Peter J. Stuckey (J. Artif. Intell. Res., 2015)

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (Theory Pract. Log. Program., 2015)

Constraint CNF: SAT and CSP Language Under One Roof. - Broes De Cat; Yuliya Lierler (ICLP (Technical Communications), 2016)

Bootstrapping Inference in the IDP Knowledge Base System. - Bart Bogaerts 001; Joachim Jansen; Broes De Cat; Gerda Janssens; Maurice Bruynooghe; Marc Denecker (New Gener. Comput., 2016)

Predicate logic as a modeling language: the IDP system. - Broes De Cat; Bart Bogaerts 001; Maurice Bruynooghe; Gerda Janssens; Marc Denecker (Declarative Logic Programming, 2018)