Sotabase

Career

· Master's degree Biomedical Sciences: Environmental and Health Sciences, University of Antwerp2020–2022
· Postdoctoral Researcher (FWO fellow), KU Leuven2016–2019
· PostDoc Position, Aalto University2015–2016
· PostDoc Position, KU Leuven2015–2015
· Informatics, Hasselt University2011–2015
· Doctor of Philosophy (Ph.D.) in Computer Science, KU Leuven2011–2015
· Master of Science in Mathematics, KU Leuven2009–2011
· L2 Support Specialist, IBM1993–1996
· Associate Professor, KU Leuven
· Chromatographic analyst GC, SGS
· Assistant Professor, Vrije Universiteit Brussel

Publications (232)

Predicate Logic as a Modelling Language: The IDP System
arXiv.org · 2014
68
cited
Improved Static Symmetry Breaking for SAT
International Conference on Theory and Applications of Satisfiability Testing · 2016
64
cited
Under Consideration for Publication in Theory and Practice of Logic Programming Predicate Logic as a Modeling Language: Modeling and Solving Some Machine Learning and Data Mining Problems with Idp3
63
cited
Model Expansion in the Presence of Function Symbols Using Constraint Programming
IEEE International Conference on Tools with Artificial Intelligence · 2013
40
cited
Grounded fixpoints and their applications in knowledge representation
Artificial Intelligence · 2015
33
cited
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT
International Conference on Theory and Applications of Satisfiability Testing · 2017
33
cited
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT
IEEE International Conference on Tools with Artificial Intelligence · 2012
33
cited
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Journal of Artificial Intelligence Research · 2022
31
cited
Predicate logic as a modeling language: the IDP system
Declarative Logic Programming · 2018
30
cited
Fixpoint semantics for active integrity constraints
Artificial Intelligence · 2018
28
cited
Stable-unstable semantics: Beyond NP with normal logic programs
Theory and Practice of Logic Programming · 2016
26
cited
SHACL: A Description Logic in Disguise
International Conference on Logic Programming and Non-Monotonic Reasoning · 2021
24
cited
Certified Core-Guided MaxSAT Solving
CADE · 2023
21
cited
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
AAAI Conference on Artificial Intelligence · 2022
20
cited
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory
AAAI Conference on Artificial Intelligence · 2019
20
cited
Under Consideration for Publication in Theory and Practice of Logic Programming Simulating Dynamic Systems Using Linear Time Calculus Theories
19
cited
A framework for step-wise explaining how to solve constraint satisfaction problems
Artificial Intelligence · 2020
18
cited
Solving QBF Instances with Nested SAT Solvers
AAAI Workshop: Beyond NP · 2016
18
cited
Theory and Applications of Satisfiability Testing – SAT 2016
Lecture Notes in Computer Science · 2016
18
cited
QMaxSATpb: A Certified MaxSAT Solver
International Conference on Logic Programming and Non-Monotonic Reasoning · 2022
17
cited
Sotabase