Joachim Jansen

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016

Joachim Jansen, Bart Bogaerts, Jo Devriendt et al. · International Joint Conference on Artificial Intelligence · 2016 · 303 citations

Artificial Intelligence, Ai Architecture, Engineering +7

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i>

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts et al. · Theory and Practice of Logic Programming · 2014 · 41 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +22

Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System

Laurens Lemaire, Jan Vossaert, Joachim Jansen et al. · Electronic workshops in computing · 2015 · 15 citations · Full text

Engineering, Industrial Engineering, Information Security +18

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3

Joachim Jansen, ALBERT JORISSEN, Gerda Janssens · Theory and Practice of Logic Programming · 2013 · 12 citations

Engineering, Verification, Higher-order Logic +20

A logic-based framework for the security analysis of Industrial Control Systems

Laurens Lemaire, Jan Vossaert, Joachim Jansen et al. · Automatic Control and Computer Sciences · 2017 · 11 citations · Full text