- Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System(2016)
Authors: Joachim Jansen, Gerda Janssens, Marc Denecker
- Implementing a relevance tracker module(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 77 - 91
- Bootstrapping inference in the IDP Knowledge Base System(2016)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 193 - 220
- Relevance for SAT(ID)(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 596 - 603
- Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3(2015)
Authors: Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Pages: 783
- Translating ASP to a typed language without Herbrand functions(2015)
Authors: Joachim Jansen, Gerda Janssens
Pages: 1 - 14
- Inferring Accountability from Trust Perceptions(2014)
Authors: Koen Decroix, Joachim Jansen, Vincent Naessens
Pages: 69 - 88
- Experimental evaluation of a state-of-the-art grounder(2014)
Authors: Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
Pages: 249 - 259
- Simulating dynamic systems using linear time calculus theories(2014)
Authors: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pages: 477 - 492
- Refining definitions with unknown opens using XSB for IDP3(2014)
Authors: Joachim Jansen, Gerda Janssens, Thomas Ströder, Terrance Swift
Pages: 15 - 29