Benoit Desouter

According to our database, Benoit Desouter authored at least 8 papers between 2013 and 2016.

Collaborative distances:

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

2016

Tabling with Sound Answer Subsumption.

Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers

Theory Pract. Log. Program., 2016

Tabling as a Library with Delimited Control.

Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Tabling as a library with delimited control.

Benoit Desouter, Marko van Dooren, Tom Schrijvers

Theory Pract. Log. Program., 2015

2014

Tor: Modular search with hookable disjunction.

Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter

Sci. Comput. Program., 2014

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation.

Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen

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

2013

Delimited continuations for prolog.

Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker

Theory Pract. Log. Program., 2013

Implementing LP Systems with CP Techniques.

Benoit Desouter

Theory Pract. Log. Program., 2013

Integrating Datalog and Constraint Solving.

Benoit Desouter, Tom Schrijvers

CoRR, 2013