M. Sc. Dissertations

• Ângela Camolas e Sousa, Categorização ou classificação automática de documentos de arquivo corrente – estudo de caso sobre a Câmara Municipal de Palmela, Paulo Quaresma (superv.), University of Évora, December 2007.
• Luis Almas, DSM-PM2 Adequacy for Distributed Constraint Programming, Salvador Abreu (superv.), Universidade de Évora, December 2007.
• Nuno Lopes, Representing and Querying Ontologies with Contextual Logic Programming, Salvador Abreu (superv.), Universidade de Évora, December 2007.
• Gustavo Laboreiro, Classificador para Língua Natural, Irene Rodrigues (superv.), Universidade de Évora, November 2007.
• Nuno Morgadinho, Distributed Multi-Threading in GNU Prolog, Salvador Abreu (superv.), Universidade de Évora, October 2007.
• Ricardo Ferreira, Extensible Metadata Repository for Information Systems, João Moura Pires (superv.), FCT / UNL (url), July 2007.
• Paula Cristina Sousa Saraiva, Implementação de Serviços de Referência para Assistentes Digitais Pessoais (PDA's) nas Bibliotecas de Saúde em Portugal, Paulo Quaresma (superv.), University of Évora, July 2007.
• Ricardo Raminhos, Extraction and Transformation of Data from Semi-Structured Text, João Moura Pires (superv.), Universidade Nova de Lisboa, June 2007.
• Peter Drabnik, On Disjunction in Modal Logics, Gregory Wheeler (superv.), Faculty of Mathematics, Physics, and Informatics, Comenius University, Bratislava, June 2007.
• Carl-Johan Rosen, An AI Engine for Behavioural Animation in a Real Time Interactive Installation, Pierangelo Dell'Aqua (superv.), Linköping University, May 2007.