17
Publications
652
Citations
13
H-Index
2012
Active since
Bart Bogaerts is an author at KU Leuven specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationSemanticsProgram AnalysisKnowledge CompilationAnswer Set ProgrammingVerification
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
Rows per page
1–5 of 17