According to our database1, Joachim Jansen authored at least 13 papers between 2013 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Autom. Control. Comput. Sci., 2017
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
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
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
Theory Pract. Log. Program., 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Information Systems Security - 10th International Conference, 2014
Theory Pract. Log. Program., 2013
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.