Joachim Jansen

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Venues

CoRR

Theory Pract. Log. Program.

Autom. Control. Comput. Sci.

ICISS

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

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

Joachim Jansen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joachim Jansen