Bart Bogaerts

Postdoctoral Researcher

Research outputs

  1. 2018
  2. Published

    Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Bogaerts, B. & Weinzierl, A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). p. 1737-1745 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 2016
  4. Published

    A compositional typed higher-order logic with definitions

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G. & Denecker, M., 1 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 14. (Open Access Series in Informatics ; vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    BreakID: Static Symmetry Breaking for ASP

    Devriendt, J. & Bogaerts, B., 2016.

    Research output: Contribution to conferencePaperScientific

  7. Published

    Declarative Solver Development: Case Studies

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (eds.). p. 74-83

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Published

    Distributed Autoepistemic Logic and its Application to Access Control

    Van Hertum, P., Cramer, M., Bogaerts, B. & Denecker, M., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016. 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. Published

    Implementing a Relevance Tracker Module

    Jansen, J., Bogaerts, B., Devriendt, J., Janssens, G. & Denecker, M., 2016.

    Research output: Contribution to conferencePaperScientific

  10. Published

    Improved static symmetry breaking for SAT

    Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Springer-Verlag, Vol. 9710. p. 104-122 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9710).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Published

    On Local Domain Symmetry for Model Expansion

    Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 636-652

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Relevance for SAT(ID)

    Jansen, J., Bogaerts, B., Devriendt, J., Janssens, G. & Denecker, M., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016. p. 596-602 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Published

    SAT-To-SAT in QBFEval 2016

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR-WS, p. 63-70 8 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Published

    Solving QBF Instances With Nested SAT Solvers

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the AAAI-16 Workshop on Beyond NP. AAAI, p. 307-313

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

ID: 44415