Papers in proceedings

• João Sequeira, Teresa Gonçalves and Paulo Quaresma, Semantic Role Labeling for Portuguese - A Preliminary Approach -, Computational Processing of the Portuguese Language - 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 7243, ISBN 978-3-642-28884-5, Pag. 193-203, 2012.
• R. Gonçalves and José Júlio Alferes, Specifying and reasoning about normative systems in deontic logic programming, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012, IFAAMAS, Pag. 1423-1424, 2012.
• David Henriques, João Martins, Paolo Zuliani, André Platzer and Edmund M. Clarke, Statistical Model Checking for Markov Decision Processes, Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, IEEE Computer Society, Pag. 84-93, 2012.
• Luís Baptista and Francisco Azevedo, Using nogoods information from restarts in domain-splitting search, in: Thibaut Feydy and Geoffrey Chu (eds), Proceedings of Nogood Learning and Constraint Programming Workshop (NGL 2012), Pag. 9 pages, 2012.