Statistics
Publications
17
Citations
652
H-Index
13
Active since
2012
Bart Bogaerts is an author at KU Leuven specializing in engineering, automated reasoning, and computer science.
Publications per year
2012–2023
17
17
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
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts et al. · Theory and Practice of Logic Programming · 2014 · 41 citations · Full text
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
1–5 of 17