- Bases de Dados , FCT NOVA, 2022/23 (responsible), 2021/22 (responsible), 2020/21, 2019/20, 2018/19, 2017/18, 2016/17, 2015/16
- Inteligência Artificial, FCT NOVA, 2022/23, 2021/22, 2020/21, 2019/20, 2018/19, 2017/18
- Representação de Conhecimento e Sistemas de Raciocínio, 2022/23 (responsible), 2021/22 (responsible), 2020/21 (responsible), 2019/20, 2018/19, 2017/18
- Tecnologias de Inteligência Artificial para Biologia 2022/23 (responsible), 2021/22
- Lógica Computacional, FCT NOVA, 2016/17
- Programação para as Ciências Experimentais, FCT NOVA, 2011/12, 2010/11
- Teoria de Computação, FCT NOVA, 2010/11
- Knowledge Representation and Reasoning, FCT NOVA, 2009/10, 2008/09
- Foundations of Logic and Constraint Programming, TU Dresden, 2004/05
- Logik I and II, TU Dresden, 2001/02-2003/04
- Programmierung, TU Dresden, 2001/02
Tutorials, Invited Lectures
- Invited Lecture "On Combining Ontologies and Rules" at Reasoning Web Summer School 2021 - Declarative AI, Leuven, Belgium (Virtual Event), September 8 - 15, 2021.
- Invited Lecture at ICCL Summer School 2013: Semantic Web - Ontology Languages and Their Use (ICCL-SS-2013), TU Dresden, August 18 - 31, 2013. (slides)
- Tutorial OWL plus Rules = .. ? at ESWC 2013 together with David Carral and Adila Alfa Krisnadhi, May 27, 2013. (slides)