Papers in proceedings

• Viktoriia Kozyreva and Gregory Wheeler, Belief Contraction Through Safe Formulas, Proceedings of the 14th International Workshop on Computer Science and Information Technologies, (CSIT 2012), 2012.
• Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou and Salvador Abreu, Constraint-Based Local Search for the Costas Array Problem, Learning and Intelligent Optimization - 6th International Conference, LION 6, LNCS, Springer, Vol. 7219, Pag. 378-383, 2012.
• Jesse Alama, Lionel Mamane and Josef Urban, Dependencies in formal mathematics: Applications and extraction for Coq and Mizar, in: Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka and Makarius Wenzel (eds), Intelligent Computer Mathematics (CICM 2012), Lecture Notes in Computer Science, Springer, Vol. 7362, Pag. 1-16, 2012.
• José Saias and Paulo Quaresma, DI@UE in CLEF2012: Question Answering Approach to the Multiple Choice QA4MRE Challenge, in: Pamela Forner, Jussi Karlgren and Christa Womser-Hacker (eds), CLEF (Online Working Notes/Labs/Workshop), ISBN 978-88-904810-3-1, 2012.
• Leila Weitzel, Paulo Quaresma and José Palazzo M. de Oliveira, Evaluating Quality of Health Information Sources, in: Leonard Barolli, Tomoya Enokido, Fatos Xhafa and Makoto Takizawa (eds), IEEE 26th International Conference on Advanced Information Networking and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012, IEEE, Pag. 655-662, 2012.
• Jorge M. Pacheco, Francisco C. Santos, Max O. Souza and Brian Skyrms, Evolutionary dynamics of collective action, Advances in Artificial Life, ECAL 2011: Proceedings of the Eleventh European Conference on Synthesis and Simulation of Living Systems, MIT Press, 2012.
• João Gomes-Mota, Luís Campos Pinto, Francisco Azevedo and Ana Brantes, How environmental factors impact line performance, field results from Southwest Europe, in: Maurizio Caciotta (eds), Proceedings of 11th EEIC Conference (EEEIC 2012), IEEE, ISBN 978-1-4577-1828-1, Pag. 1047-1052, IEEE Conference Record #19763, IEEE Catalog Number: CFP1251I-CDR, paper #315. doi: 10.1109/EEEIC.2012.6221535, 2012.
• João Gomes-Mota, Francisco Azevedo, Luís Campos Pinto and Jorge Casaca, Long term assessment of critical factors affecting the reliability of transmission grids, in: Carlo Carraro (eds), Proceedings of 12th IAEE European Energy Conference (IAEEU 2012), Pag. 12 pages, 2012.
• L. Weitzel, Paulo Quaresma and J. Palazzo Oliveira, Measuring node importance on Twitter microblogging, Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS '12, ACM, New York, NY, USA, ISBN 978-1-4503-0915-8, Pag. 11:1-11:7, (url), 2012.
• Martin Homola, Matthias Knorr, João Alexandre Leite and Martin Slota, MKNF Knowledge Bases in Multi-Context Systems, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 2012, Proceedings, Lecture Notes in Computer Science, Springer, ISBN 978-3-642-32896-1, Pag. 146-162, (url), 2012.