Ingmar Dasseville

According to our database, Ingmar Dasseville authored at least 11 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Transpiling Programmable Computable Functions to Answer Set Programs.

Ingmar Dasseville, Marc Denecker

CoRR, 2018

FMS: Functional Programming as a Modelling Language.

Ingmar Dasseville, Gerda Janssens

Proceedings of the Functional and Constraint Logic Programming, 2018

Transpiling Programming Computable Functions to Answer Set Programs.

Ingmar Dasseville, Marc Denecker

Proceedings of the Functional and Constraint Logic Programming, 2018

2017

The KB paradigm and its application to interactive configuration.

Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker

Theory Pract. Log. Program., 2017

2016

Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment.

Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker

Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

A Compositional Typed Higher-Order Logic with Definitions.

Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.

Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Semantics of templates in a compositional framework for building logics.

Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker

Theory Pract. Log. Program., 2015

Visualising interactive inferences with IDPD3.

Ruben Lapauw, Ingmar Dasseville, Marc Denecker

CoRR, 2015

A web-based IDE for IDP.

Ingmar Dasseville, Gerda Janssens

CoRR, 2015

2014

Experimental Evaluation of a State-Of-The-Art Grounder.

Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014