Ingmar Dasseville

15 papers A 1C 2Journal 8Unranked 4

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