Teaching
  • Bases de Dados , FCT NOVA, 2019/20, 2018/19, 2017/18, 2016/17, 2015/16
  • Inteligência Artificial, FCT NOVA, 2019/20, 2018/19, 2017/18
  • Representação de Conhecimento e Sistemas de Raciocínio, 2019/20, 2018/19, 2017/18
  • 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

Supervision
  • Rafael Figueiredo, Towards Linked Open Data in the City Council of Almada, master's thesis, 2019 (co-supervised with João Leite)
  • Vedran Kasalica, NoHR: Integrating Rules and Ontologies with External Data Sets, master’s thesis in EMCL, DI FCT NOVA, 2017 (co-supervised with João Leite)
  • Carlos Lopes, NoHR: Beyond the OWL 2 Profiles, master’s thesis, DI, FCT NOVA, 2017 (co-supervised with João Leite)
  • Nuno Costa, OWL QL e Regras Não Monótonas, master’s thesis, DI, FCT NOVA, 2015 (co-supervised with João Leite)
  • Nuno Cruz, Reactive Hybrid Knowledge Bases, master’s thesis, DI, FCT NOVA, 2014 (co-supervised with Carlos Damásio)
  • Tobias Kaminski, Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web, master’s thesis in EMCL, DI, FCT NOVA, 2014 (co-supervised with João Leite)