Benoit Desouter

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 3

Top Topics

Prolog Programs

Constraint Solving

Procedural Semantics

Answer Questions

Top Venues

Theory Pract. Log. Program.

Sci. Comput. Program.

Publications

Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
Tabling as a Library with Delimited Control. IJCAI (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. CoRR (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. 16 (5-6) (2016)
Benoit Desouter, Marko van Dooren, Tom Schrijvers
Tabling as a library with delimited control. Theory Pract. Log. Program. 15 (4-5) (2015)
Benoit Desouter, Tom Schrijvers, Marko van Dooren
Tabling as a Library with Delimited Control. CoRR (2015)
Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP (2014)
Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
Tor: Modular search with hookable disjunction. Sci. Comput. Program. 84 (2014)
Benoit Desouter, Tom Schrijvers
Integrating Datalog and Constraint Solving. CoRR (2013)
Benoit Desouter
Implementing LP Systems with CP Techniques. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
Delimited continuations for prolog. Theory Pract. Log. Program. 13 (4-5) (2013)