Tutorial Notes on tabling and the SLG-WAM. Written for the course, Integrated Logic Systems, Universidade Nova de Lisboa. Lectures 1-11. Updated May, 2011.
Slides for Knowledge Representation Ph.D. Course, Universidade Nova de Lisboa.
Lecture 1: Intro to KRR; Tabling, Termination and Complexity
Lecture 2: XSB and Flora-2
Lecture 3a: Probabilistic Logic Languages: slides by Fabrizio Riguzzi
Lecture 3b: Probabilistic Logic Programs