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. 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) ↗
3. 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) ↗
4. Semantics of templates in a compositional framework for building logics. Issue 4 (3rd September 2015) Authors: DASSEVILLE, INGMAR; VAN DER HALLEN, MATTHIAS; JANSSENS, GERDA; DENECKER, MARC Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 681 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. The KB paradigm and its application to interactive configuration*. Issue 1 (1st July 2016) Authors: VAN HERTUM, PIETER; DASSEVILLE, INGMAR; JANSSENS, GERDA; DENECKER, MARC Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗