Journal articles

• Luís Moniz Pereira, Turing is Among Us, Journal of Logic and Computation, Vol. 22, No. 6, Pag. 1257-1277, Oxford University Press, Oxford, UK, ISSN ISSN 0955-792X, http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf, (url), December 2012.
• Reinhard Kahle, A correspondência de Hugo Ribeiro com lógicos estrangeiros - uma primeira leitura, Boletim da Sociedade Portuguesa de Matemática, Vol. 67 (Suplemento), Pag. 39-40, Resumo alargado do Seminário Nacional de História da Matemática 2012., October 2012.
• David Mendes, Irene Rodrigues, Carlos Rodriguez-Solano and Carlos Baeta, Enrichment/Population of Customized CPR (Computer-based Patient Record) Ontology from Free-text Reports for CSI (Computer Semantic Interoperability), Procedia Technology, Vol. 5, Pag. 753-762, Elsevier, ISSN 2212-0173, (url), October 2012.
• J. Saias, Paulo Quaresma, Pedro Salgueiro and T. Santos, BINLI: An Ontology-Based Natural Language Interface for Multidimensional Data Analysis, Intelligent Information Management, Vol. 4, No. 5, Pag. 225-230, ISSN 2160-5920, September 2012.
• Han The Anh, Luís Moniz Pereira and Francisco C. Santos, Corpus-based Intention Recognition in Cooperation Dilemmas, Artificial Life, Vol. 18, No. 4, Pag. 365-383, MIT Press, http://www.mitpressjournals.org/loi/artl, ISSN 1064-5462, http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ALife_corpusbased_IR.pdf, (url), August 2012.
• Susana Nascimento, Pedro Franco, Fátima Sousa, Joaquim Dias and Filipe Neves and, Automated Computational Delimitation of SST Upwelling Areas using Fuzzy Clustering, Computers & Geosciences, Vol. 43, Pag. 207–216, Elsevier, ISSN 0098-3004, (url), June 2012.
• Dora Melo, Vitor Nogueira and I Rodrigues, Puzzle Out the Semantic Web Search, International Journal of Computational Linguistics and Applications, Vol. 3, No. 1, Pag. 91–106, BAHRI PUBLICATIONS, ISSN 0976-0962, June 2012.
• Stefano Balbi, Carlo Giupponi, Pascal Perez and Marco Alberti, A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination, Environmental Modelling & Software, In press., (url), 2012.
• Boris Mirkin and Susana Nascimento, Additive Spectral Method for Fuzzy Cluster Analysis of Similarity Data Including Community Structure and Affinity Matrices, Information Science, Vol. 183, No. 1, Pag. 16-34, Elsevier, (url), 2012.
• David Mendes and Irene Rodrigues, Advances to Semantic Interoperability through CPR Ontology extracting from SOAP framework reports, electronic Journal of Health Informatics, Vol. 7, No. 2, (url), 2012.
• Luís Moniz Pereira, Book review of 'Computational Logic and Human Thinking: How to be Artificially Intelligent' by Robert Kowalski, AI Communications, Vol. 25, No. 4, Pag. 361-364, IOS Press, http://iospress.metapress.com/content/103140/, ISSN 0921-7126, http://centria.di.fct.unl.pt/~lmp/publications/online-papers/AIcom_review_CL&HumanThinking.pdf, (url), 2012.
• Jesse Alama, Eliciting implicit assumptions of Mizar proofs by property omission, Journal of Automated Reasoning, Springer, (url), 2012.
• Gregory Wheeler, Explaining The Limits of Olsson’s Impossibility Result, Southern Journal of Philosophy, Vol. 50, No. 1, Pag. 136-50, Wiley, 2012.
• Cássia Trojahn, Paulo Quaresma and Renata Vieira, Exploiting Majority Acceptable Arguments in Composite Ontology Matching, International Journal of Artificial Intelligence (IJAI), Vol. 8, No. S12, Pag. 1-19, 2012.
• Francisco Azevedo and João Gomes-Mota, Gathering Environmental Data Concerning Very High Voltage Lines, Modern Energy Review, Vol. 4, No. 1, Pag. 71-73, Touch Briefings Ltd, ISSN 2041-9570, (url), 2012.
• Horacio Arlo-Costa and Gregory Wheeler, Introduction to the Special Issue Commemorating Henry E. Kyburg, Jr., Synthese, Vol. 186, No. 2, Pag. 443-6, Springer, 2012.
• Boris Kovalerchuk, Leonid Perlovsky and Gregory Wheeler, Modeling of Phenomena and Dynamic Logic of Phenomena, Journal of Applied Non-classical Logics, Vol. 22, No. 1, Pag. 51-82, Éditions Hermès-Lavoisier, ISSN 1166-3081, (url), 2012.
• Gregory Wheeler, Objective Bayesian calibration and the problem of non-convex evidence, The British Journal for the Philosophy of Science, Vol. 63, No. 4, Pag. 841-850, Oxford University Press, ISSN 0007-0882, 2012.
• Han The Anh, Arne Traulsen and Chaitanya S. Gokhale, On equilibrium properties of evolutionary multiplayer games with random payoff matrices, Theoretical Population Biology, Elsevier, (url), 2012.
• 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, 2012.
• Reinhard Kahle and, Otto Blument[h]al: David Hilbert (20-3), Mitteilungen der DMV, Vol. 20, No. 4, Pag. 196, de Gruyter, Letter to the editor, (url), 2012.
• Davide D’Alimonte, Giuseppe~Zibordi, Jean-François Berthon, Elisabetta Canuti and Tamito Kajiyama, Performance and Applicability of Bio-optical Algorithms in Different European Seas, Remote Sensing of Environment, Vol. 124, No. 0, Pag. 402-412, ISSN 0034-4257, 2012.
• Eduardo Fermé and Maurıcio D. L. Reis, Possible world semantics for partial meet multiple contractions, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 7-28, Springer, ISSN 0022-3611, (url), 2012.
• Marcelo A. Falappa, Gabriele Kern-Isberner, Maurıcio D. L. Reis and Guillermo R. Simari, Prioritized and Non-prioritized Multiple Change on Belief Bases, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 77-113, Springer, ISSN 0022-3611, (url), 2012.
• Sven Van Segbroeck, Francisco C. Santos, Tom Lenaerts and Jorge M. Pacheco, Selection pressure transforms the nature of social dilemmas in adaptive networks, New Journal of Physics, Vol. 13, Pag. 013007, 2012.
• Ricardo Filipe Silva, João Moura Pires and Maribel Yasmina Santos, Spatial Clustering in SOLAP systems to Enhance Map Visualization, International Journal of Data Warehousing and Mining (IJDWM), Vol. 8, No. 2, Pag. 23-43, (url), 2012.
• Eduardo Fermé and Maurıcio D. L. Reis, System of spheres-based multiple contractions, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 29-52, Springer, ISSN 0022-3611, (url), 2012.
• Daniel Diaz, Salvador Abreu and Philippe Codognet, Targeting the Cell Broadband Engine for constraint-based local search, Concurrency and Computation: Practice and Experience, Vol. 24, No. 6, Pag. 647-660, Wiley, (url), 2012.
• Marco Alberti, Marco Gavanelli and Evelina Lamma, The CHR-based Implementation of the SCIFF Abductive System, Fundamenta Informaticae, In press., 2012.
• Gregory Wheeler and Pedro Barahona, Why the hardest logic puzzle ever cannot be solved in less than three questions, Journal of Philosophical Logic, Vol. 41, No. 2, Pag. 493-503, Springer, 2012.
• Dora Melo, Irene Rodrigues and Vitor Nogueira, Work Out the Semantic Web Search: The Cooperative Way, Advances in Artificial Intelligence, Vol. 2012, Pag. 9, Hindawi Publishing Corporation, (url), 2012.