Travelled to:1 × Ireland
Collaborated with:∅ I.Dasseville G.Janssens M.Denecker
Talks about:logic (2) framework (1) composit (1) templat (1) support (1) languag (1) specif (1) semant (1) higher (1) applic (1)
Person: Matthias van der Hallen
DBLP: Hallen:Matthias_van_der
Contributed to:
20152015Wrote 2 papers:
- ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification
- Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH), pp. 330–336.
- ICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics
- Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.