- Knowledge Representation and Reasoning (last edition: 2006/07)
- Bases de Dados 2 (last edition 2006/07)
- Integrated Logic Systems (last edition 2005/06)
- 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 online here.