Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Benoit Desouter

Prijzen & Erkenningen

11 Resultaten

2016

Tabling as a Library with Delimited Control

Benoit DesouterMarko van DoorenTom SchrijversAlexander Vandenbroucke

Tabling with sound answer subsumption

Alexander VandenbrouckeMaciej PirogBenoit DesouterTom Schrijvers

A1 Artikel in een tijdschrift in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Towards flexible goal-oriented logic programming

Benoit DesouterTom SchrijversMarko van Dooren

2015

Tabling as a library with delimited control

Benoit DesouterMarko van DoorenTom Schrijvers

A1 Artikel in een tijdschrift in THEORY AND PRACTICE OF LOGIC PROGRAMMING

2014

Heuristics entwined with handlers combined: from functional specification to logic programming implementation

Tom SchrijversNicolas WuBenoit DesouterBart Demoen

TOR: modular search with hookable disjunction

Tom SchrijversBart DemoenMarkus TriskaBenoit Desouter

A1 Artikel in een tijdschrift in SCIENCE OF COMPUTER PROGRAMMING

2013

Delimited continuations for Prolog

Tom SchrijversBart DemoenBenoit DesouterJan Wielemaker

A1 Artikel in een tijdschrift in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Delimited continuations in Prolog: semantics, use, and implementation in the WAM

Tom SchrijversBart DemoenBenoit Desouter

Implementing LP systems with CP techniques

Benoit Desouter

Integrating Datalog and Constraint Solving

Benoit DesouterTom Schrijvers

Tor: modular search with hookable disjunction

Benoit DesouterTom Schrijvers