Collaborated with:
J.Jansen G.Janssens
Talks about:
definit (1) prolog (1) induct (1) compil (1) input (1) tabl (1) rule (1) idp (1)
Person: Albert Jorissen
DBLP: Jorissen:Albert
Contributed to:
Wrote 1 papers:
- ICLP-J-2013-JansenJJ #compilation #induction #prolog
- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.