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.
• Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damásio, MWeb: A principled framework for modular web rule bases and its semantics., ACM Transactions on Computational Logic, Vol. 12, No. 2, Pag. Article #17, 41 pages, ACM, New York, NY, USA, ISSN 1529-3785, (url), January 2011.
• R. Gonçalves and C. Caleiro, Towards a Behavioral Algebraic Theory of Logical Valuations, Fundamenta Informaticae, Vol. 106, No. 2-4, Pag. 191-209, January 2011.
• Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali and Paolo Torroni, A Computational Logic Application Framework for Service Discovery and Contracting, International Journal of Web Services Research, Vol. 8, No. 3, Pag. 1-25, 2011.
• Reinhard Kahle, A Herança de David Hilbert na Filosofia da Matemática, Boletim da Sociedade Portuguesa de Matemática, Vol. 65 (Suplemento), Resumo alargado do Seminário Nacional de História da Matemática 2011., 2011.
• Eduardo Fermé and Sven Ove Hansson, AGM 25 Years: Twenty-Five Years of Research in Belief Change, Journal of Philosophical Logic, Vol. 40, No. 2, Pag. 295-331, Springer, 2011.
• Co-evolution of pre-play signaling and cooperation, Journal of Theoretical Biology, Vol. 274, No. (1), Pag. 30-35, (url), 2011.
• G. Zibordi, J.-F. Berthon, F. Melin and D. D'Alimonte, Cross-site consistent in situ measurements for satellite ocean color applications: the BiOMaP radiometric dataset, Remote Sens. Environ., Vol. 115, No. 8, Pag. 2104-2115, ISSN 0034-4257, 2011.
• Gregory Wheeler, Editorial, Minds and Machines, Vol. 21, No. 1, Pag. 1-2, Springer, 2011.
• Eduardo Fermé and Sven Ove Hansson, Editorial Introduction—25 Years of AGM Theory, Journal of Philosophical Logic, Vol. 40, No. 2, Pag. 113-114, Springer, 2011.
• Jeromos Vukov, Francisco C. Santos and Jorge M. Pacheco, Escaping the tragedy of the commons via directed investments, Journal of Theoretical Biology, Vol. 287, No. 37-41, 2011.
• Milheirico C., Portelinha A., Ludwig Krippahl, de Lencastre H. and Oliveira D., Evidence for a purifying selection acting on the beta-lactamase locus in epidemic clones of methicillin-resistant Staphylococcus aureus, BMC microbiology, Vol. 11, No. 1, Pag. 76, BioMed Central Ltd, 2011.
• Jeromos Vukov, Francisco C. Santos and Jorge M. Pacheco, Incipient Cognition Solves the Spatial Reciprocity Conundrum of Cooperation, PLoS One, Vol. 6, No. 3, Pag. e17939, 2011.
• Matthias Knorr, José Júlio Alferes and Pascal Hitzler, Local closed world reasoning with description logics under the well-founded semantics, Artificial Intelligence, Vol. 175, No. 9-10, Pag. 1528-1544, Elsevier, ISSN 0004-3702, DOI: 10.1016/j.artint.2011.01.007, 2011.
• F. Melin, V. Vantrepotte, M. Clerici, D. D'Alimonte, G. Zibordi, J. -F. Berthon and E. Canuti, Multi-sensor satellite time series of optical properties and chlorophyll-a concentration in the Adriatic Sea, Progress in oceanography, Vol. 91, No. 3, Pag. 229-244, ISSN 0079-6611, 2011.
• Gregory Wheeler and Marco Alberti, NO revision and NO contraction, Minds and Machines, Vol. 21, No. 3, Pag. 411-30, Springer, ISSN 0924-6495, 2011.
• Alfredo Gabaldon, Non-Markovian Control in the Situation Calculus, Artificial Intelligence, Vol. 175, No. 1, Pag. 25-48, Elsevier, ISSN 0004-3702, 2011.
• Tamito Kajiyama, Davide D'Alimonte and José C. Cunha, Performance prediction of ocean color Monte Carlo simulations using multi-layer perceptron neural networks, Procedia Computer Science, Vol. 4, Pag. 2186-2195, ISSN 1877-0509, Proceedings of the International Conference on Computational Science, ICCS 2011, (url), 2011.
• Teresa Gonçalves, Polylingual text classification in the legal domain, Informatica & Diritto Journal, Pag. 203-216, Edizioni Scientifiche Italiane, 2011.
• Juergen Dix and João Alexandre Leite, Preface to the special issue on computational logics in multi-agent systems, Annals of Mathematics and Artificial Intelligence, Vol. 62, No. 1-2, Pag. 1-5, Springer, 2011.
• Francisco C. Santos and Jorge M. Pacheco and, Risk of collective failure provides an escape from the tragedy of the commons, Proceedings of the National Academy of Sciences of the USA, Vol. 108, No. 26, Pag. 10421-10425, 2011.
• Francisco C. Santos, Role of Diversity on the Evolutionary Dynamics of Cooperation Dilemmas, Journal of Theoretical Biology, Vol. (in press), 2011.
• Selection pressure transforms the nature of social dilemmas in adaptive networks, New Journal of Physics, Vol. 13, No. 013007, (url), 2011.
• Martin Slota, João Alexandre Leite and Terrance Swift, Splitting and updating hybrid knowledge bases, Theory and Practice of Logic Programming, Vol. 11, No. 4-5, Pag. 801-819, 2011.
• Reinhard Kahle, The universal set and diagonalization in Frege structures, Review of Symbolic Logic, Vol. 4, No. 2, Pag. 205-218, 2011.
• Rui Machado, Carsten Lojewski, Salvador Abreu and Franz-Josef Pfreundt, Unbalanced tree search on a manycore system using the GPI programming model, Computer Science R&D, Vol. 26, No. 3-4, Pag. 229-236, Springer, (url), 2011.