Joachim Jansen

Available identifiers

zbMath Open jansen.joachimMaRDI QIDQ2931256

List of research outcomes

Publication	Date of Publication	Type
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3	2017-11-09	Paper
Simulating Dynamic Systems Using Linear Time Calculus Theories	2014-11-25	Paper
Compiling \(\mathrm{input}^\ast\) FO\((\cdot)\) inductive definitions into tabled prolog rules for IDP3	2014-02-27	Paper

Research outcomes over time

This page was built for person: Joachim Jansen