Bart Bogaerts
Bart Bogaerts
Assistant Professor, Department of Computer Science, VUB
Verified email at vub.be - Homepage
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
642018
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
42*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
412013
Improved static symmetry breaking for SAT
J Devriendt, B Bogaerts, M Bruynooghe, M Denecker
International Conference on Theory and Applications of Satisfiability …, 2016
302016
Solving QBF instances with nested SAT solvers
B Bogaerts, T Janhunen, S Tasharrofi
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
232016
Grounded fixpoints and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 224, 51-71, 2015
192015
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
132012
Stable-unstable semantics: Beyond NP with normal logic programs
B Bogaerts, T Janhunen, S Tasharrofi
Theory and Practice of Logic Programming 16 (5-6), 570-586, 2016
112016
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
BreakIDGlucose: On the importance of row symmetry in SAT
J Devriendt, B Bogaerts, M Bruynooghe
Proceedings 4th International Workshop on the Cross-Fertilization Between …, 2014
112014
Symmetric explanation learning: Effective dynamic symmetry handling for SAT
J Devriendt, B Bogaerts, M Bruynooghe
International Conference on Theory and Applications of Satisfiability …, 2017
102017
Declarative solver development: Case studies
B Bogaerts, T Janhunen, S Tasharrofi
Fifteenth International Conference on the Principles of Knowledge …, 2016
102016
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
Exploiting justifications for lazy grounding of answer set programs
B Bogaerts, A Weinzierl
IJCAI International Joint Conference on Artificial Intelligence 2018, 1737-1745, 2018
82018
FO (C): A knowledge representation language of causality
B Bogaerts, J Vennekens, M Denecker, JV Bussche
arXiv preprint arXiv:1405.1833, 2014
82014
On well-founded set-inductions and locally monotone operators
B Bogaerts, J Vennekens, M Denecker
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-32, 2016
72016
MiniSAT (ID) for satisfiability checking and constraint solving
B De Cat, B Bogaerts, M Denecker
ALP Newsletter, 2014
72014
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
Fixpoint semantics for active integrity constraints
B Bogaerts, L Cruz-Filipe
Artificial Intelligence 255, 43-70, 2018
62018
Distributed autoepistemic logic and its application to access control
P Van Hertum, M Cramer, B Bogaerts, M Denecker
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20