Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Bart Bogaerts

Bart Bogaerts

Vrije Universiteit Brussel

Fixpoint Semantics for Recursive SHACL


Sep 17, 2021
Bart Bogaerts, Maxime Jakubowski

* EPTCS 345, 2021, pp. 41-47 
* In Proceedings ICLP 2021, arXiv:2109.07914 

  Access Paper or Ask Questions

Proceedings 37th International Conference on Logic Programming (Technical Communications)


Sep 15, 2021
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou

* EPTCS 345, 2021 

  Access Paper or Ask Questions

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization


May 31, 2021
Emilio Gamba, Bart Bogaerts, Tias Guns


  Access Paper or Ask Questions

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories


Sep 22, 2020
Wolf De Wulf, Bart Bogaerts

* EPTCS 325, 2020, pp. 206-219 
* In Proceedings ICLP 2020, arXiv:2009.09158 

  Access Paper or Ask Questions

Exploiting Game Theory for Analysing Justifications


Aug 04, 2020
Simon Marynissen, Bart Bogaerts, Marc Denecker

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 15+8 pages 

  Access Paper or Ask Questions

A framework for step-wise explaining how to solve constraint satisfaction problems


Jun 11, 2020
Bart Bogaerts, Emilio Gamba, Tias Guns


  Access Paper or Ask Questions

Proceedings 35th International Conference on Logic Programming (Technical Communications)


Sep 17, 2019
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, German Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang

* EPTCS 306, 2019 

  Access Paper or Ask Questions

Propagators and Solvers for the Algebra of Modular Systems


Apr 03, 2017
Bart Bogaerts, Eugenia Ternovska, David Mitchell

* To appear in the proceedings of LPAR 21 

  Access Paper or Ask Questions

BreakID: Static Symmetry Breaking for ASP (System Description)


Aug 30, 2016
Jo Devriendt, Bart Bogaerts

* Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016 

  Access Paper or Ask Questions

Implementing a Relevance Tracker Module


Aug 19, 2016
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker

* Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016 

  Access Paper or Ask Questions

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs


Aug 15, 2016
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

* Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 16 pages, LaTeX, no figures 

  Access Paper or Ask Questions

FO(C): A Knowledge Representation Language of Causality


May 09, 2014
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3


Mar 28, 2014
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

* Theory and Practice of Logic Programming 15 (2014) 783-817 
* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions