1. Exploiting Game Theory for Analysing Justifications. Issue 6 (November 2020) Authors: MARYNISSEN, SIMON; BOGAERTS, BART; DENECKER, MARC Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 880 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Knowledge compilation of logic programs using approximation fixpoint theory. Issue 4 (3rd September 2015) Authors: BOGAERTS, BART; VAN DEN BROECK, GUY Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 464 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. On local domain symmetry for model expansion. Issue 5 (14th October 2016) Authors: DEVRIENDT, JO; BOGAERTS, BART; BRUYNOOGHE, MAURICE; DENECKER, MARC Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 636 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Issue 6 (November 2015) Authors: BRUYNOOGHE, MAURICE; BLOCKEEL, HENDRIK; BOGAERTS, BART; DE CAT, BROES; DE POOTER, STEF; JANSEN, JOACHIM; LABARRE, ANTHONY; RAMON, JAN; DENECKER, MARC; VERWER, SICCO Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 783 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Simulating Dynamic Systems Using Linear Time Calculus Theories. Issue 4 (21st July 2014) Authors: BOGAERTS, BART; JANSEN, JOACHIM; BRUYNOOGHE, MAURICE; DE CAT, BROES; VENNEKENS, JOOST; DENECKER, MARC; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 477 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Stable-unstable semantics: Beyond NP with normal logic programs. Issue 5 (14th October 2016) Authors: BOGAERTS, BART; JANHUNEN, TOMI; TASHARROFI, SHAHAB Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 570 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗