Travelled to:1 × United Kingdom
Collaborated with:G.Janssens A.Jorissen I.Dasseville J.Devriendt B.Bogaerts M.Bruynooghe B.d.Cat J.Vennekens M.Denecker
Talks about:experiment (1) grounder (1) calculus (1) definit (1) theori (1) system (1) prolog (1) linear (1) induct (1) compil (1)
Person: Joachim Jansen
DBLP: Jansen:Joachim
Contributed to:
2014
20142013Wrote 3 papers:
- ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
- Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
- PPDP-2014-JansenDDJ #evaluation #state of the art
- Experimental Evaluation of a State-Of-The-Art Grounder (JJ, ID, JD, GJ), pp. 249–258.
- ICLP-J-2013-JansenJJ #compilation #induction #prolog
- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.