Bart Bogaerts

Dr. Bart Bogaerts

Postdoctoral researcher

home CV publications
  • @:
  • w: bartbogaerts.eu
  • p: +32 497 66 34 67
  • a: Celestijnenlaan 200A - room 01.144
         3001 Heverlee
         Belgium

In the pipeline

A Logical Study of Some Common Principles of Inductive Definition M. Denecker, B. Bogaerts and J. Vennekens (Under Review). pdf

2017

Propagators and Solvers for the Algebra of Modular Systems B. Bogaerts, E. Ternovska and D. Mitchell Proceedings of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21), 2017, (accepted). pdf ppt

Predicate Logic as a Modelling Language: The IDP System B. De Cat, B. Bogaerts, M. Bruynooghe and M. Denecker 2017, (Accepted). pdf

Safe Inductions: An Algebraic Study B. Bogaerts, J. Vennekens and M. Denecker Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI), 2017, (Accepted).

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory B. Bogaerts and L. Cruz-Filipe Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI), 2017, (Accepted).

2016

SAT-to-SAT in QBFEval 2016 B. Bogaerts, T. Janhunen and S. Tasharrofi Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016), p. 63-70, 2016. pdf bib ppt www

On Well-Founded Set-Inductions and Locally Monotone Operators B. Bogaerts, J. Vennekens and M. Denecker ACM Transactions on Computational Logic Volume 17 Issue 4, p. 27:1-27:32, 2016. pdf bib www

BreakID: Static Symmetry Breaking for ASP J. Devriendt and B. Bogaerts Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 25-39, 2016. pdf bib ppt www

Implementing a Relevance Tracker Module J. Jansen, B. Bogaerts, J. Devriendt, G. Janssens and M. Denecker Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 77-91, 2016. pdf bib ppt www

Bootstrapping Inference in the IDP Knowledge Base System B. Bogaerts, J. Jansen, B. De Cat, G. Janssens, M. Bruynooghe and M. Denecker New Generation Computing Volume 34, Number 3, p. 193-220, 2016. pdf bib www

A Compositional Framework for Building Typed Higher-Order Logics I. Dasseville, M. van der Hallen, B. Bogaerts, G. Janssens and M. Denecker Technical communications of ICLP, p. 14.1-14.14, 2016. pdf bib ppt www

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs B. Bogaerts, T. Janhunen and S. Tasharrofi Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 570-586, 2016. pdf bib ppt www

On Local Domain Symmetry for Model Expansion J. Devriendt, B. Bogaerts, M. Bruynooghe and M. Denecker Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 632-652, 2016. pdf bib ppt www

Distributed Autoepistemic Logic and its Application to Access Control P. Van Hertum, M. Cramer, B. Bogaerts and M. Denecker Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 1286-1292, 2016. pdf bib www

Relevance for SAT(ID) J. Jansen, B. Bogaerts, J. Devriendt, G. Janssens and M. Denecker Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 596-602, 2016. pdf bib ppt www

Improved Static Symmetry Breaking for SAT J. Devriendt, B. Bogaerts, M. Bruynooghe and M. Denecker Theory and Applications of Satisfiability Testing - SAT 2016, Proceedings, p. 104-122, 2016. pdf bib ppt www

Declarative Solver Development: Case Studies B. Bogaerts, T. Janhunen and S. Tasharrofi Principles of Knowledge Representation and Reasoning: Proceedings (KR), p. 74-83, 2016. pdf bib ppt www

Solving QBF Instances With Nested SAT Solvers B. Bogaerts, T. Janhunen and S. Tasharrofi Proceedings of the first workshop on Beyond NP, p. 307-313, 2016. pdf bib www

2015

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, A. Labarre, J. Ramon, M. Denecker and S. Verwer Theory and Practice of Logic Programming Volume 15, Number 6, p. 783-817, 2015. pdf bib www

Groundedness in Logics With a Fixpoint Semantics B. Bogaerts PhD thesis, 2015. pdf bib ppt www

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory B. Bogaerts and G. Van den Broeck Theory and Practice of Logic Programming Volume 15, Number 4-5, p. 464-480, 2015. pdf bib ppt www

Partial Grounded Fixpoints B. Bogaerts, J. Vennekens and M. Denecker Proceedings of the twenty-fourth international conference on artificial intelligence (IJCAI), p. 2784-2790, 2015. pdf bib ppt www

Grounded Fixpoints and Their Applications in Knowledge Representation B. Bogaerts, J. Vennekens and M. Denecker Artificial Intelligence Volume 224, p. 51-71, 2015. pdf bib ppt www

Grounded Fixpoints B. Bogaerts, J. Vennekens and M. Denecker Proceedings of the twenty-ninth AAAI conference on artificial intelligence, p. 1453-1459, 2015. pdf bib ppt www

2014

MiniSat(ID) for Satisfiability Checking and Constraint Solving B. De Cat, B. Bogaerts and M. Denecker ALP Newsletter, 2014. pdf bib www

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 and M. Denecker Workshop on Logic and Search - LaSh, 2014. pdf bib ppt

BreakIDGlucose: On The Importance of Row Symmetry in SAT J. Devriendt, B. Bogaerts and M. Bruynooghe Fourth International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT), 1-17, 2014. pdf bib ppt

Inference in the FO(C) Modelling Language B. Bogaerts, J. Vennekens, M. Denecker and J. Van den Bussche European Conference on Artificial Intelligence (ECAI), p. 111-116, 2014. pdf bib ppt www

FO(C) and Related Modelling Paradigms B. Bogaerts, J. Vennekens, M. Denecker and J. Van den Bussche 15th International Workshop on Non-Monotonic Reasoning, p. 90-96, 2014. pdf bib ppt

FO(C): A Knowledge Representation Language of Causality B. Bogaerts, J. Vennekens, M. Denecker and J. Van den Bussche (ICLP'14 technical communication), Theory and Practice of Logic Programming Volume 14, Number (4-5)-Online-Supplement, p. 60-69, 2014. pdf bib ppt

Simulating Dynamic Systems Using Linear Time Calculus Theories B. Bogaerts, B. De Cat, J. Jansen, M. Bruynooghe, B. De Cat, J. Vennekens and M. Denecker Theory and Practice of Logic Programming Volume 14, Number 4-5, p. 477-492, 2014. pdf bib ppt www

2013

The Effects of Buying a New Car: An Extension of the IDP Knowledge Base System P. Van Hertum, J. Vennekens, B. Bogaerts, J. Devriendt and M. Denecker (ICLP'13 technical communication), Theory and Practice of Logic Programming Volume 13, Number (4-5)-Online-Supplement, 2013. pdf bib www

Model Expansion in the Presence of Function Symbols Using Constraint Programming B. De Cat, B. Bogaerts, J. Devriendt and M. Denecker IEEE 25th International Conference on Tools with Artificial Intelligence, p. 1068-1075, 2013. pdf bib ppt www

2012

Analyzing Manuscript Traditions Using Constraint-Based Data Mining T. Andrews, H. Blockeel, B. Bogaerts, M. Bruynooghe, M. Denecker, S. De Pooter, C. Macé and J. Ramon First Workshop on Combining Constraint Solving with Mining and Learning, 2012. pdf bib

Modeling Machine Learning and Data Mining Problems with FO(.) H. Blockeel, B. Bogaerts, M. Bruynooghe, B. De Cat, S. De Pooter, M. Denecker, A. Labarre, J. Ramon and S. Verwer Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, p. 14-25, 2012. pdf bib www

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT J. Devriendt, B. Bogaerts, C. Mears, B. De Cat and M. Denecker IEEE 24th International Conference on Tools with Artificial Intelligence, p. 49-56, 2012. pdf bib ppt www