Papers in proceedings

• João Gomes-Mota, Francisco Azevedo, Jorge Casaca, Vítor Almeida, Nuno Pinho Silva and Luís Campos Pinto, Advances in Vegetation Management to improve Reliability, Proceedings of the 2nd (CIGRÉ Romania) International Conference on Condition Monitoring, Diagnosis and Maintenance (CMDM 2013), 2013.
• João Fernandes, Maria Paula Queluz, Tomás Brandão, Francisco Azevedo and João Gomes-Mota, Automatic detection of stork nests on VHV towers, Proceedings of the 9th Conference on Telecommunications (ConfTele 2013), Instituto de Telecomunicações - Coimbra, ISBN 978-989-8109-08-8, Pag. 345-348, 2013.
• Jesse Alama and and Reinhard Kahle, Computing with mathematical arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel and Gregory Wheeler (eds), New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, Springer, Vol. 4, Pag. 9-22, (url), 2013.
• Jesse Alama and Reinhard Kahle, Computing with Mathematical Arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler (eds), New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective, Springer, Pag. 9-22, 2013.
• R. Gonçalves and José Júlio Alferes, Deontic logic programs, in: M. Gini, Onn Shehory, Takayuki Ito and Catholijn M. Jonker (eds), International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013, IFAAMAS, ISBN 978-1-4503-1993-5, Pag. 1333-1334, 2013.
• David Mendes, and Irene Rodrigues and Carlos Baeta, Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation, Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD 2013), SciTePress - Science and Technology Publications, Pag. 286 - 292, 2013.
• Martin Slota, Martin Balaz and João Alexandre Leite, Early Recovery in Logic Program Updates, in: Pedro Cabalar and Tran Cao Son (eds), Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 512-517, 2013.
• Jesse Alama, Escape to Mizar from ATPs, in: Pascal Fontaine, Renate Schmidt and Stephan Schulz and (eds), PAAR 2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, Easychair Proceedings in Computing, Easychair, Vol. 21, Pag. 3-11, (url), 2013.
• Danny Munera, Daniel Diaz and Salvador Abreu, Experimenting with X10 for Parallel Constraint-Based Local Search, Proceedings of CICLOPS 2013, 2013.
• João Gomes-Mota, Francisco Azevedo, Luís Campos Pinto and Jorge Casaca, Fatores Sócio-ambientais Críticos afetando a Fiabilidade das Redes de Transporte, Proceedings of Décimo Quinto Encontro Regional Ibero-americano do Cigré (XV ERIAC), CIGRÉ, 2013.