Joachim Jansen

14 papers A* 1C 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2017 J jnl
A logic-based framework for the security analysis of Industrial Control Systems.
Autom. Control. Comput. Sci.
Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens
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 J jnl
Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput.
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
2016 J jnl
Implementing a Relevance Tracker Module.
CoRR
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
2016 A* conf
Relevance for SAT(ID).
IJCAI
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
2015 — conf
Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System.
ICS-CSR
Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens
2015 J jnl
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with
Theory Pract. Log. Program.
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2014 C conf
Experimental Evaluation of a State-Of-The-Art Grounder.
PPDP
Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
2014 Misc conf
Inferring Accountability from Trust Perceptions.
ICISS
Koen Decroix, Denis Butin, Joachim Jansen, Vincent Naessens
2014 J jnl
Model revision inference for extensions of first order logic.
CoRR
Joachim Jansen
2014 J jnl
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program.
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 J jnl
Simulating dynamic systems using Linear Time Calculus theories.
CoRR
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2013 J jnl
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.
Theory Pract. Log. Program.
Joachim Jansen, Albert Jorissen, Gerda Janssens
2013 J jnl
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer