Journal articles

• Daniel Diaz, Salvador Abreu and Philippe Codognet, On the implementation of GNU Prolog, Theory and Practice of Logic Programming, Vol. 12, No. 1-2, Pag. 253-282, Cambridge University Press, (url), December 2011.
• João Alexandre Leite and Paolo Torroni, The Twelfth International Workshop on Computational Logics in Multi-Agent Systems, The Association for Logic Programming Newsletter, Vol. 24, No. 4, December 2011.
• Armando Fernandes, Susana Nascimento and D. Boutov, Automatic Identification of Oceanic Eddies in Infrared Satellite Images, Computers & Geosciences, Vol. 37, No. 11, Pag. 1783-1792, Elsevier, doi:10.1016/j.cageo.2010.12.007, (url), November 2011.
• João Alexandre Leite and Paolo Torroni, Computational Logic in Multi-Agent Systems, The Reasoner, Vol. 5, No. 11, Pag. 186-187, November 2011.
• Francisco Rocha, Salvador Abreu and Miguel Correia, The Final Frontier: Confidentiality and Privacy in the Cloud, IEEE Computer, IEEE Computer Society, (url), September 2011.
• Han The Anh, Luís Moniz Pereira and Francisco C. Santos, Intention Recognition Promotes The Emergence of Cooperation, Adaptive Behavior, Vol. 19, No. 3, Pag. 264-279, Sage Publications, http://www.isab.org/journal/, ISSN 1059-7123, (url), August 2011.
• Marco Alberti, P. Dell'Acqua and Luís Moniz Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation, Annals of Mathematics and Artificial Intelligence, Pag. DOI: 10.1007/s10472-011-9259-5, Springer, ISSN 1573-7470, (url), August 2011.
• Maximilian Schlosshauer and Gregory Wheeler, Focused Correlation, Confirmation, and the Jigsaw Puzzle of Variable Evidence, Philosophy of Science, Vol. 78, No. 3, Pag. 276-92, July 2011.
• Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Sergio Storari, Learning specifications of interaction protocols and business processes and proving their properties, Intelligenza artificiale, Vol. 5, No. 1, Pag. 71-75, ISSN 1724-8035, (url), February 2011.
• José Júlio Alferes, Federico Banti and Antonio Brogi, Evolving reactive logic programs, Intelligenza Artificiale, Vol. 5, No. 1, Pag. 77-81, January 2011.