| Predicate logic as a modeling language: the IDP system B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker Declarative Logic Programming: Theory, Systems, and Applications, 279-323, 2018 | 111 | 2018 |
| Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 M Bruynooghe, H Blockeel, B Bogaerts, B De Cat, S De Pooter, J Jansen, ... Theory and Practice of Logic Programming 15 (6), 783-817, 2015 | 55 | 2015 |
| Lazy model expansion: Interleaving grounding with search B De Cat, M Denecker, M Bruynooghe, P Stuckey Journal of Artificial Intelligence Research 52, 235-286, 2015 | 52 | 2015 |
| Model expansion in the presence of function symbols using constraint programming B De Cat, B Bogaerts, J Devriendt, M Denecker 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 45 | 2013 |
| Symmetry propagation: Improved dynamic symmetry breaking in SAT J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 34 | 2012 |
| FO (FD): Extending classical logic with rule-based fixpoint definitions P Hou, B De Cat, M Denecker Theory and Practice of Logic Programming 10 (4-6), 581-596, 2010 | 26 | 2010 |
| Lazy model expansion by incremental grounding B De Cat, M Denecker, P Stuckey Technical Communications of the 28th International Conference on Logic …, 2012 | 16 | 2012 |
| Detection and exploitation of functional dependencies for model generation B De Cat, M Bruynooghe Theory and Practice of Logic Programming 13 (4-5), 471-485, 2013 | 13 | 2013 |
| The idp system J Wittocx, B De Cat, M Denecker Proceedings of the 22nd Benelux conference on artificial intelligence, 2010 | 13 | 2010 |
| Simulating dynamic systems using linear time calculus theories B Bogaerts, J Jansen, M Bruynooghe, B De Cat, J Vennekens, ... Theory and Practice of Logic Programming 14 (4-5), 477-492, 2014 | 11 | 2014 |
| Separating Knowledge from Computation: An FO (.) Knowledge Base System and its Model Expansion Inference B De Cat Ph. D. thesis, KU Leuven, Leuven, Belgium, 2014 | 10 | 2014 |
| DPLL (Agg): An efficient SMT module for aggregates B De Cat, M Denecker LaSh 2010 Workshop, 2010 | 10* | 2010 |
| MiniSAT (ID) for satisfiability checking and constraint solving B De Cat, B Bogaerts, M Denecker ALP Newsletter, 2014 | 9 | 2014 |
| IDP3: Combining symbolic and ground reasoning for model generation B De Cat, J Jansen, G Janssens 2nd Workshop on Grounding and Transformations for Theories With Variables, 17-24, 2013 | 9 | 2013 |
| Towards computing revised models for FO theories J Wittocx, B De Cat, M Denecker Applications of Declarative Programming and Knowledge Management: 18th …, 2011 | 9 | 2011 |
| An exercise with statistical relational learning systems M Bruynooghe, B De Cat, J Drijkoningen, D Fierens, J Goos, B Gutmann, ... Proceedings 2009 International Workshop on Statistical Relational Learning, 1-3, 2009 | 8 | 2009 |
| Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development B Bogaerts, J Jansen, B De Cat, G Janssens, M Bruynooghe, M Denecker Proceedings International Workshop on Logic and Search (Lash 2014), 1-14, 2014 | 7 | 2014 |
| Modeling machine learning and data mining problems with FO (·) H Blockeel, B Bogaerts, M Bruynooghe, B De Cat, S De Pooter, ... Technical Communications of the 28th International Conference on Logic …, 2012 | 6 | 2012 |
| The idp framework reference manual B Bogaerts, B De Cat, S De Pooter, M Denecker | 5 | 2012 |
| Bootstrapping inference in the IDP knowledge base system B Bogaerts, J Jansen, B De Cat, G Janssens, M Bruynooghe, M Denecker New Generation Computing 34, 193-220, 2016 | 4 | 2016 |
