M. Sc. Dissertations

• Rui Dias Jorge, Diagnóstico de Sistemas de Protecção de Redes de Energia Eléctrica, Carlos Viegas Damásio (superv.), Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, July 2005.
• Alexandre Miguel Pinto, Explorations in Revised Stable Models ñ a new semantics for logic programs, Luís Moniz Pereira (superv.), Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa, June 2005.
• Rui Ernesto da Silva Gomes, Representação do Conhecimento para Análise de Sistemas de Controle, Irene Rodrigues (superv.), University of Évora, May 2005.
• Luís Filipe Silva, Topic & Law of Evidence (Computational View), Luís Moniz Pereira and D. Gabbay (superv.), Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa, April 2005.
• Pedro Salgueiro, Um sistema Pergunta/Resposta para a Língua Portuguesa, Paulo Quaresma (superv.), University of Évora, February 2005.