Broes De Cat
Broes De Cat
Senior product analist, OM Partner
Verified email at ompartners.com
Title
Cited by
Cited by
Year
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
752018
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
462015
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
432015
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
422013
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
182012
FO (FD): Extending classical logic with rule-based fixpoint definitions
H Ping, B De Cat, M Denecker
arXiv preprint arXiv:1007.3819, 2010
172010
Lazy model expansion by incremental grounding
B De Cat, M Denecker, P Stuckey
Technical Communications of the 28th International Conference on Logic …, 2012
152012
Detection and exploitation of functional dependencies for model generation
B De Cat, M Bruynooghe
Theory and Practice of Logic Programming 13 (4), 471-485, 2013
142013
The idp system
J Wittocx, B De Cat, M Denecker
Proceedings of the 22nd Benelux conference on artificial intelligence, 2010
122010
Simulating dynamic systems using linear time calculus theories
B Bogaerts, J Jansen, M Bruynooghe, B De Cat, J Vennekens, ...
arXiv preprint arXiv:1405.1523, 2014
112014
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
112014
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
9*2012
DPLL (Agg): An efficient SMT module for aggregates
B De Cat, M Denecker
LaSh 2010 Workshop, 2010
9*2010
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
82009
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
72014
MiniSAT (ID) for satisfiability checking and constraint solving
B De Cat, B Bogaerts, M Denecker
ALP Newsletter, 2014
72014
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
62013
Towards computing revised models for FO theories
J Wittocx, B De Cat, M Denecker
International Conference on Applications of Declarative Programming and …, 2009
62009
A temporal difference gng-based approach for the state space quantization in reinforcement learning environments
DCDL Vieira, PJL Adeodato, PM Goncalves
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
52013
The idp framework reference manual
B Bogaerts, B De Cat, S De Pooter, M Denecker
52012
The system can't perform the operation now. Try again later.
Articles 1–20