Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (CoRR, 2013)

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. - Joachim Jansen; Albert Jorissen; Gerda Janssens (Theory Pract. Log. Program., 2013)

Inferring Accountability from Trust Perceptions. - Koen Decroix; Denis Butin; Joachim Jansen; Vincent Naessens (ICISS, 2014)

Experimental Evaluation of a State-Of-The-Art Grounder. - Joachim Jansen; Ingmar Dasseville; Jo Devriendt; Gerda Janssens (PPDP, 2014)

Model revision inference for extensions of first order logic. - Joachim Jansen (CoRR, 2014)

Simulating Dynamic Systems Using Linear Time Calculus Theories. - Bart Bogaerts 001; Joachim Jansen; Maurice Bruynooghe; Broes De Cat; Joost Vennekens; Marc Denecker (Theory Pract. Log. Program., 2014)

Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System. - Laurens Lemaire; Jan Vossaert; Joachim Jansen; Vincent Naessens (ICS-CSR, 2015)

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (Theory Pract. Log. Program., 2015)

Relevance for SAT(ID). - Joachim Jansen; Bart Bogaerts 001; Jo Devriendt; Gerda Janssens; Marc Denecker (IJCAI, 2016)

Implementing a Relevance Tracker Module. - Joachim Jansen; Jo Devriendt; Bart Bogaerts 001; Gerda Janssens; Marc Denecker (CoRR, 2016)

Bootstrapping Inference in the IDP Knowledge Base System. - Bart Bogaerts 001; Joachim Jansen; Broes De Cat; Gerda Janssens; Maurice Bruynooghe; Marc Denecker (New Gener. Comput., 2016)

Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem. - Joachim Jansen (2016)

A logic-based framework for the security analysis of Industrial Control Systems. - Laurens Lemaire; Jan Vossaert; Joachim Jansen; Vincent Naessens (Autom. Control. Comput. Sci., 2017)