Ingmar Dasseville

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Transpiling Programmable Computable Functions to Answer Set Programs.
CoRR, 2018

FMS: Functional Programming as a Modelling Language.
Proceedings of the Functional and Constraint Logic Programming, 2018

Transpiling Programming Computable Functions to Answer Set Programs.
Proceedings of the Functional and Constraint Logic Programming, 2018

2017
The KB paradigm and its application to interactive configuration.
Theory Pract. Log. Program., 2017

2016
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

A Compositional Typed Higher-Order Logic with Definitions.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
Semantics of templates in a compositional framework for building logics.
Theory Pract. Log. Program., 2015

Visualising interactive inferences with IDPD3.
CoRR, 2015

A web-based IDE for IDP.
CoRR, 2015

2014
Experimental Evaluation of a State-Of-The-Art Grounder.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014


  Loading...