Warning: Most of the information of the courses is in Portuguese.
- Knowledge Representation and Reasoning (last edition: 2010/11)
- Sistemas de Bases de Dados (last edition (2010/11)
- Bases de Dados 2 (last edition 2006/07)
- Programação em Lógica (last edition 2005/06)
- Bases de Dados 1 (last edition 2005/06)
- Inteligência Artificial (last edition 2005/06)
- Lógica Computacional (last edition 2000/01)
Information about courses I taught at Universidade de Évora, from 1994 to 2000, can be found here.