The following pages link to Joachim Jansen (Q2931256):
Displaying 3 items.
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (Q5398305) (← links)
