Ingmar Dasseville

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 10

Top Topics

Interactive Video

Modelling Language

Polynomially Solvable

Top Venues

Theory Pract. Log. Program.

Publications

Ingmar Dasseville, Gerda Janssens
FMS: Functional Programming as a Modelling Language. CoRR (2018)
Ingmar Dasseville, Marc Denecker
Transpiling Programmable Computable Functions to Answer Set Programs. CoRR (2018)
Ingmar Dasseville, Gerda Janssens
FMS: Functional Programming as a Modelling Language. WFLP (2018)
Ingmar Dasseville, Marc Denecker
Transpiling Programming Computable Functions to Answer Set Programs. WFLP (2018)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. 17 (1) (2017)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB Paradigm and Its Application to Interactive Configuration. PADL (2016)
Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) (2016)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. CoRR (2016)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) (2016)
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF (2016)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. CoRR (2015)
Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Visualising interactive inferences with IDPD3. CoRR (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. Theory Pract. Log. Program. 15 (4-5) (2015)
Ingmar Dasseville, Gerda Janssens
A web-based IDE for IDP. CoRR (2015)
Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
Experimental Evaluation of a State-Of-The-Art Grounder. PPDP (2014)