Experimental evaluation of a state-of-the-art grounder.
Jansen, J., Dasseville, I., Devriendt, J., Janssens, G. (2014).
Publications
Workshops ICLP
A web-based IDE for IDP.
Dasseville, I., Janssens, G. (2015).
Visualising interactive inferences with IDPD3
Lapauw, R., Dasseville, I., Denecker, M. (2015).
Main Conference ICLP
Semantics of templates in a compositional framework for building logics.
Dasseville, I., van der Hallen, M., Janssens, G., Denecker, M. (2015).
Publications
Configuration
The KB paradigm and its application to interactive configuration.
Van Hertum, P., Dasseville, I., Janssens, G., Denecker, M. (2016)
In PADL + TPLP
Combining DMN and the knowledge base paradigm for flexible decision enactment.
Dasseville, I., Janssens, L., Janssens, G., Vanthienen, J., Denecker, M. (2016).
Publications
ICLP 2016
(technical communication)
A Compositional Typed Higher-Order Logic with Definitions
Dasseville, Ingmar ; van der Hallen, Matthias ; Bogaerts, Bart ; Janssens, Gerda ; Denecker, Marc
ADS Requirements
1 DTAI seminar given, 1 more needed
Participation in ICLP 2015, ICLP 2016, RuleML 2016