Slides das teóricas
Lecture 0: Introduction to the course
Lecture 1: Conceitos Básicos
Lecture 1: Conceitos Básicos
Lecture 2: Lógica Proposicional – sistema dedutivo
Lecture 4: Lógica de Primeira Ordem-sistema dedutivo
Lecture 5: Programação em Lógica
Lecture 8: Meta - Negação Prolog
Lecture 9: Linguagem Prolog
Lecture 10: Structures Prolog
Lecture 13: Prolog Revision: Functores etc
Lecture 14: Lógica – Aprendizagem Automática Simbólica (aula adicional de bónus)