Joachim Jansen

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A logic-based framework for the security analysis of Industrial Control Systems.
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.
PhD thesis, 2016

Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput., 2016

Implementing a Relevance Tracker Module.
CoRR, 2016

Relevance for SAT(ID).
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>.
Theory Pract. Log. Program., 2015

Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System.
Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research 2015, 2015

2014
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program., 2014

Model revision inference for extensions of first order logic.
CoRR, 2014

Experimental Evaluation of a State-Of-The-Art Grounder.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Inferring Accountability from Trust Perceptions.
Proceedings of the Information Systems Security - 10th International Conference, 2014

2013
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.
Theory Pract. Log. Program., 2013

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


  Loading...