Papers in proceedings

• Czeslaw Bylinski and Jesse Alama, New developments in parsing 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. 427-431, 2012.
• Marco Alberti, Ana Sofia Gomes, R. Gonçalves, Matthias Knorr, João Alexandre Leite and Martin Slota, Normative systems require hybrid knowledge bases, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012, IFAAMAS, Pag. 1425-1426, (url), 2012.
• Francisco Azevedo, João Gomes-Mota, Luís Campos Pinto, Nélio Machado and Susana de Almeida de Graaff, OHL Assessment and Risk Evaluation Based on Environmental and Inspection Data, 2012 CIGRÉ Canada Conference, Pag. 8 pages, (url), CIGRÉ-119 paper, 2012.
• Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet and Salvador Abreu, Parallel Local Search for the Costas Array Problem, 26th IEEE International Parallel and Distributed Processing Symposium Workshops {&} PhD Forum, IPDPS 2012, IEEE Computer Society, Pag. 1793-1802, 2012.
• Rui Machado, Salvador Abreu and Daniel Diaz, Parallel Local Search: Experiments with a PGAS-based Programming Model (extended abstract), in: Roberto Bagnara and Nikos Angelopoulos (eds), Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS 2012, Budapest University Press, 2012.
• Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet and Salvador Abreu, Performance analysis of parallel constraint-based local search, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, ACM, 2012.
• Dora Melo, Irene Rodrigues and Vitor Nogueira, Puzzle Out the Semantic Web Search, in: Alexander F. Gelbukh (eds), Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Complementary Proceedings, 2012.
• Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier and Cong Wang, Recent Advances in Integrating OWL and Rules (Technical Communication), in: Markus Krötzsch and Umberto Straccia (eds), Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Lecture Notes in Computer Science, Springer, Vol. 7497, ISBN 978-3-642-33202-9, Pag. 225-228, (url), 2012.
• Matthias Knorr, Pascal Hitzler and Frederick Maier, Reconciling OWL and Non-monotonic Rules for the Semantic Web, ECAI 2012 - 20th European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 242, ISBN 978-1-61499-097-0, Pag. 474-479, (url), 2012.
• Martin Slota and João Alexandre Leite, Robust equivalence models for semantic updates of answer-set programs, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, AAAI Press, ISBN 978-1-57735-560-1, Pag. 158-168, (url), 2012.