M. Sc. dissertations

• 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.