- Higher Order Modelling for First Order Solvers(2019)
Auteurs: Ingmar Dasseville, Marc Denecker, Gerda Janssens
- Transpiling Programming Computable Functions to Answer Set Programs(2018)
Auteurs: Ingmar Dasseville, Marc Denecker
Pagina's: 3 - 17
- The KB paradigm and its application to interactive configuration(2017)
Auteurs: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pagina's: 75 - 90
- A compositional typed higher-order logic with definitions(2016)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
Pagina's: 14:1 - 14:1
- The KB paradigm and its application to interactive configuration(2016)
Auteurs: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pagina's: 13 - 29
- Resilient delegation revocation with precedence for predecessors is NP-complete(2016)
Auteurs: Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 432 - 442
- Combining DMN and the knowledge base paradigm for flexible decision enactment(2016)
Auteurs: Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
- Semantics of templates in a compositional framework for building logics(2015)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Pagina's: 681 - 695
- Visualising interactive inferences with IDPD3(2015)
Auteurs: Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 67 - 81
- A web-based IDE for IDP(2015)
Auteurs: Ingmar Dasseville, Gerda Janssens
Pagina's: 21 - 32