Broes De Cat

Predicate Logic as a Modelling Language: The IDP System

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe et al. · arXiv (Cornell University) · 2014 · 52 citations · Full text

Declarative Programming, Abduction, Engineering +12

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 et al. · Theory and Practice of Logic Programming · 2014 · 41 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +22

Lazy Model Expansion: Interleaving Grounding with Search

Broes De Cat, Marc Denecker, Maurice Bruynooghe et al. · Journal of Artificial Intelligence Research · 2015 · 37 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +19

Model Expansion in the Presence of Function Symbols Using Constraint Programming

Broes De Cat, Bart Bogaerts, Jo Devriendt et al. · 2013 · 33 citations · Full text

Mathematical Programming, Engineering, Model Expansion +19

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT

Jo Devriendt, Bart Bogaerts, Broes De Cat et al. · 2012 · 21 citations · Full text

Constraint Solving, Engineering, Constraint Satisfaction +14