---

• 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