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.
• Jimmy Esbjörnsson, EMO - A Computational Emotional State Module. Emotions and their influence on the behaviour of autonomous agents, Pierangelo Dell'Aqua (superv.), Linköping University (url), May 2007.
• Anja Johansson, Modelling Expectations and Trust in Virtual Agents, Pierangelo Dell'Aqua (superv.), Linköping University (url), May 2007.
• P. Klimo, Planning Support for Evolp Agent Architecture, João Alexandre Leite (superv.), Comenius University, Bratislava, Slovakia, May 2007.
• Martin Slota, Transformational Semantics and Implementation of Evolving Logic Programs, João Alexandre Leite (superv.), Comenius University, Bratislava, Slovakia, May 2007.
• Gaston Tagni, An Approach to Complex Event Detection in the Web, José Júlio Alferes (superv.), FCT/UNL, March 2007.
• Anderson Bertoldi, A semântica dos adjectivos: como e por que incluí-la em uma ontologia do domínio jurídico, Rove Chishman and Paulo Quaresma (superv.), UNISINOS, S. Leopoldo, RS, Brasil, February 2007.
• José Palmeiro, Arquitectura de Agentes: Desenho e Fundações de um Modelo de Negócio, Paulo Quaresma (superv.), University of Évora, February 2007.
• Gracindo José Miguel Machado, Visualização e Análise de Vórtices de Água em Mapas Térmicos da Superfície Oceânica, Nuno Marques (superv.), Departamento de Informática, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, (in Portuguese), February 2007.
• Daniel Franzen, A Modular API for Intelligent Virtual Agents, Pierangelo Dell'Aqua (superv.), Linköping University (url), January 2007.
• M. Babini, Dynamic Logic Programming for User Modeling in Recommender Systems, João Alexandre Leite (superv.), University of Bologna, Italy, January 2007.
• José Carlos Almeida Santos, Mining Protein Structure Data, Pedro Barahona and Ludwig Krippahl (superv.), Universidade Nova de Lisboa, January 2007.