Ph. D. Dissertations

• Jesse Alama, Formal Proofs and Refutations, Grigori Mints (superv.), Stanford University, June 2009.
• Cássia Trojahn dos Santos, A Cooperative Approach for Composite Ontology Matching, Paulo Quaresma (superv.), University of Évora, May 2009.
• Ana Luísa Leal, AuTema-Dis: uma arquitetura computacional para identificação da temática discursiva em textos em Língua Portuguesa, Paulo Quaresma (superv.), University of Évora, May 2009.
• Vitor Nogueira, Temporal reasoning in a logic programming language with modularity, Salvador Abreu (superv.), Universidade de Évora, May 2009.