Broes De Cat

According to our database, Broes De Cat authored at least 15 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Predicate logic as a modeling language: the IDP system.

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2016

Bootstrapping Inference in the IDP Knowledge Base System.

Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker

New Gener. Comput., 2016

Constraint CNF: SAT and CSP Language Under One Roof.

Broes De Cat, Yuliya Lierler

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with <i>IDP3</i>.

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

Theory Pract. Log. Program., 2015

Lazy Model Expansion: Interleaving Grounding with Search.

Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey

J. Artif. Intell. Res., 2015

2014

Simulating Dynamic Systems Using Linear Time Calculus Theories.

Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker

Theory Pract. Log. Program., 2014

Predicate Logic as a Modelling Language: The IDP System.

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

CoRR, 2014

2013

Detection and exploitation of functional dependencies for model generation.

Broes De Cat, Maurice Bruynooghe

Theory Pract. Log. Program., 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, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

CoRR, 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.

Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Lazy Model Expansion by Incremental Grounding.

Broes De Cat, Marc Denecker, Peter J. Stuckey

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Modeling Machine Learning and Data Mining Problems with FO(·).

Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2010

FO(FD): Extending classical logic with rule-based fixpoint definitions.

Ping Hou, Broes De Cat, Marc Denecker

Theory Pract. Log. Program., 2010

2009

Towards Computing Revised Models for FO Theories.

Johan Wittocx, Broes De Cat, Marc Denecker

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009