Ingmar Dasseville
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICLP | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2016 | PADL | The KB Paradigm and Its Application to Interactive Configuration. | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
| 2014 | PPDP | Experimental Evaluation of a State-Of-The-Art Grounder. | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |