4 citations · 4 across the 3 of their papers we have counts for
4 papers
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?
Birthe van den Berg, Tom Schrijvers, James McKinna +1
Automatic differentiation (AD) has been a topic of interest for researchers in many disciplines, with increased popularity since its application to machine learning and neural netw…
Disjunctive Delimited Control
Alexander Vandenbroucke, Tom Schrijvers
Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the contro…
Disjunctive Delimited Control
Alexander Vandenbroucke, Tom Schrijvers
Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the contro…
Tabling with Sound Answer Subsumption
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter +1
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we ar…