Ph. D. Dissertations

• Elsa Carvalho, Probabilistic Constraint Reasoning, Jorge Cruz and Pedro Barahona (superv.), FCT/UNL, November 2012.
• Martin Slota, Updates of Hybrid Knowledge Bases, João Alexandre Leite (superv.), Universidade Nova de Lisboa, September 2012.
• Pedro Salgueiro, Declarative Domain-Specific Languages and Applications to Network Monitoring, Salvador Abreu (superv.), Universidade de Évora, July 2012.
• Vasco Pedro, Constraint Programming on Hierarchical Multiprocessor Systems, Salvador Abreu (superv.), Universidade de Évora, May 2012.
• Han The Anh, Intention Recognition, Commitments and Their Roles in the Evolution of Cooperation, Luís Moniz Pereira and (superv.), Universidade Nova de Lisboa, May 2012.