Joachim Jansen

According to our database, Joachim Jansen authored at least 13 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

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

PhD thesis, 2016

Bootstrapping Inference in the IDP Knowledge Base System.

Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker

New Gener. Comput., 2016

Implementing a Relevance Tracker Module.

Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker

CoRR, 2016

Relevance for SAT(ID).

Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

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

2015

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, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

Theory Pract. Log. Program., 2015

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

Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens

Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research 2015, 2015

2014

Simulating Dynamic Systems Using Linear Time Calculus Theories.

Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker

Theory Pract. Log. Program., 2014

Model revision inference for extensions of first order logic.

Joachim Jansen

CoRR, 2014

Experimental Evaluation of a State-Of-The-Art Grounder.

Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Inferring Accountability from Trust Perceptions.

Koen Decroix, Denis Butin, Joachim Jansen, Vincent Naessens

Proceedings of the Information Systems Security - 10th International Conference, 2014

2013

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

Joachim Jansen, Albert Jorissen, Gerda Janssens

Theory Pract. Log. Program., 2013

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

CoRR, 2013