Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Tabling with Sound Answer Subsumption. | 1 | 0.36 | 2016 |
| Tabling as a library with delimited control | 0 | 0.34 | 2016 |
| Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation | 4 | 0.50 | 2014 |
| Tor: Modular search with hookable disjunction | 2 | 0.43 | 2014 |
| Implementing LP Systems with CP Techniques. | 0 | 0.34 | 2013 |
| Integrating Datalog and Constraint Solving. | 1 | 0.38 | 2013 |
| Delimited continuations for prolog. | 0 | 0.34 | 2013 |