Workshop Program
| Time | Talk |
|---|---|
| 09:00 |
Tom Schrijvers
Tor: Modular Search in Prolog (invited presentation) |
| 10:00 |
Rui Vieira, Ricardo Rocha and Fernando Silva
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores |
| 10:30 |
Break
|
| 11:00 |
Emilio Gallego, Rémy Haemmerlé, Jose F. Morales and Manuel Hermenegildo
The Ciao CLP(FD) Library |
| 11:30 |
Jan Wielemaker
Extending the Logical Update View with Transaction Support |
| 12:00 |
Zoé Drey, Jose F. Morales and Manuel Hermenegildo
Reversible Language Extensions and their Application in Debugging |
| 12:30 |
Rui Machado, Salvador Abreu and Daniel Diaz
Parallel Local Search: Experiments with a PGAS-based Programming Model |
| 13:00 |
Break
|
| 14:00 |
Neng-Fa Zhou and Jonathan Fruhman
Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations |
| 14:30 |
João Santos and Ricardo Rocha
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System |
| 15:00 |
Terrance Swift
Profiling Large Tabled Computations using Forest Logging |
| 15:30 |
Break
|
| 16:00 |
Anthony Monnet and Roger Villemaire
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics |
| 16:30 | open.pl: A discussion on compatibility forums and support for user code repositories |