Journal articles

• 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.