Papers in proceedings

• Maribel Yasmina Santos, Joaquim Silva, João Moura Pires and Monica Wachowicz, Automated Traffic Route Identification through the Shared Nearest Neighbour Algorithm, 15h AGILE International Conference on Geographic Information Science, Bridging the Geographic Information Sciences, Springer, April 2012.
• Ricardo Filipe Silva, Information Overload Problem in Decision Making: The Important Relies on Changes, in: Hardy Pundt and Lars Bernard (eds), Proceedings 1st AGILE PhD School, ISBN 978-3-8440-0873-9, Pag. 29-37, (url), March 2012.
• Han The Anh, Ari Saptawijaya and Luís Moniz Pereira, Moral Reasoning Under Uncertainty, in: Nikolaj Bjørner and Andrei Voronkov (eds), Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), LNAI, Springer, http://www.lpar-18.info/, (url), forthcoming 2012, March 2012.
• Fábio Madeira and Ludwig Krippahl, PYCOEVOL: A Python workflow to study protein-protein coevolution, in: Jan Schier (eds), BIOSTEC 2012: 5th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOINFORMATICS 2012: International Conference on Bioinformatics Models, Methods and Algorithms - Proceedings, INSTICC Press, Pag. 143-149, February 2012.
• Luís Baptista and Francisco Azevedo, A heuristic based on domain-splitting nogoods from restarts, Proceedings of the Second International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2012), Pag. 10 pages, 2012.
• Filipe Madeira, Rui Quaresma and Salvador Abreu, A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning, Proceedings of the 5th International Conference of Education, Research and Innovation (ICERI 2012), IATED, Madrid, Spain, 2012.
• Alfredo Gabaldon, A Selective Semantics for Logic Programs with Preferences, 13th European Conference on Logics in Artificial Intelligence (JELIA'12), LNCS, Springer Berlin / Heidelberg, Vol. 7519, ISBN 978-3-642-33352-1, Pag. 215-227, 2012.
• Martin Slota and João Alexandre Leite, A Unifying Perspective on Knowledge Updates, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Lecture Notes in Computer Science, Springer, ISBN 978-3-642-33352-1, Pag. 372-384, (url), 2012.
• R. Gonçalves and José Júlio Alferes, An Embedding of Input-Output Logic in Deontic Logic Programs, in: Thomas {\AA}gotnes, Jan Broersen and Dag Elgesem (eds), Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 7393, Pag. 61-75, 2012.
• Jesse Alama, Daniel Kühlwein and Josef Urban, Automated and human proofs in general mathematics: An initial comparison, in: Nikolaj Bjørner and Andrei Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012), Lecture Notes in Computer Science, Springer, Vol. 7180, Pag. 37-45, 2012.