---

Selected Talks and Tutorials:

• Slides for Incremental Tabling in Support of Knowledge Representation and Reasoning International Conference on Logic Programming. Vienna Austria. July 2014.
• Slides for Scalability and Query-Orientation in Hybrid Knowledge Bases International Workshop on Logical Aspects of Multi-Agent Systems. Lexington Kentucky. July 2011.
• Slides for Design Patterns for Tabled Logic Programs International Conference on Applications of Declarative Programming and Knowledge Management. Evora, Portugal. November 2009.
• Slides for Environments for Tabled Prolog: Progress and Open Issues 19th Workshop on Logic-based methods in Programming Environments, Pasadena California. July 2009
• Slides for The Logic of Programming in Prolog: Then and Now Presented at Commercial Uses of Logic Programming, Pasadena California. July 2009
• Slides for How Tabling Solves Real Problems Presented at 24th Italian Concress of Computational Logic, Ferrara Italy. June 2009 (Slides were updated for INAP 09)
• Slides for Computational Logic for Healthcare Informatics: an Informal Survey First presented at Johns Hopkins Department of Health Sciences Informatics Grand Rounds, Baltimore, Maryland. February 2009
• Slides for Concurrent and Local Evaluation of Normal Programs Presented at International Conference on Logic Programming, Udine Italy. December 2008,
• Slides for Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective Presented at CICLOPS, Udine Italy, December 2008
• Slides for Multi-Threaded Tabled Logic Programing in XSB CENTRIA seminar, November 2008, Universidade Nova de Lisboa
• Slides for Not Your Father's Prolog: New Features and Applications for Open-Source Prolog Systems CENTRIA seminar, May 2007, Universidade Nova de Lisboa
• Slides for Combining Logic, Rules, and Ontologies, for Medical Decision Support Talk for medical informatics class, February 2006, Johns Hopkins University Baltimore Maryland
• Slides for OWL + ASP = ColdDeadFish Dagstuhl Seminar on Answer Set Programming, September 2002.
• Slides for Extending Prolog with Non-Monotonic Constructs via Tabling Appia-Gulp-Prode Joint Conference, September 2001.
• Slides for Tabled Logic Programming and Deduction Dagstuhl Seminar on Deduction, March 2001.
• Slides for Tabling for Non-Monotonic Reasoning: Preference Logic University of Buffalo Computer Science Colloqium, October, 1999
• Slides for Tabling for Logic-Based Artificial Intelligence 5th Annual Portuguese Conference on Artificial Intelligence, September 1999
• Materials for Tabling for Non-Monotonic and Quantitative Logic Programming Complog Summer School on (Constraint) Logic Programming, August 1999 listing
• Slides for Principles, Practice, and Applications of Tabled Logic Programming 1996 Joint International Conference and Symposium on Logic Programming