3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic

Presentation slides

Links will be added when we get the slides.

Implementation and ExeCution Models for Logic Programming by Manuel Hermenegildo

Theoretical Foundations of Logic Programming by Miroslaw Truszczynski

Foundations of Semantic Web and Computational Logic by Sheila McIlraith

Answer Set Programming by Torsten Schaub Torsten

Foundations of Constraint Programming and Constraint Logic Programming by Brent Venable

Continuous Constraints: An Overview by Martine Ceberio

Parallel Execution of Logic Programs: Back to the Future (??) by Enrico Pontelli

Applications of Computational Logic by Tim Hinrichs