Journal articles

• Ari Saptawijaya and Luís Moniz Pereira, Tabled Abduction in Logic Programs, Theory and Practice of Logic Programming, Online Supplement, Vol. 13, No. 4-5, Cambridge University Press, http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf, (url), August 2013.
• Ari Saptawijaya, Towards Computational Morality with Logic Programming, Theory and Practice of Logic Programming, Online Supplement, Vol. 13, No. 4-5, Cambridge University Press, http://journals.cambridge.org/downloadsup.php?file=/tlp2013037.pdf, (url), August 2013.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for nonlinear inverse problems, Constraints, Vol. 18, No. 3, Pag. 344-376, Springer US, ISSN 1383-7133, (url), July 2013.
• Susana Nascimento, Rui Felizardo and Boris Mirkin, Laplacian Normalization for Deriving Thematic Fuzzy Clusters with an Additive Spectral Approach, Expert Systems, Vol. 30, No. 4, Pag. 294-305, Wiley, doi: 10.1111/exsy.12027, (url), May 2013.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio and Ioannis Pachoulakis, A framework for modular ERDF ontologies, Annals of Mathematics in Artificial Intelligence, Vol. 67, No. 3-4, Pag. 189-249, Springer Netherlands, ISSN 1012-2443, (url), March 2013.
• Pedro Barahona, Gemma Bel-Enguix, Verónica Dahl, Maria Dolores Jimenez-Lopez and Ludwig Krippahl, Generation of classification trees from variable weighted features, Natural Computing, Springer Science+Business Media, Dordrecht 2013, ISSN 1567-7818 (on-line), (url), March 2013.
• R. Gonçalves and C. Caleiro, Abstract Valuation Semantics, Studia Logica, Vol. 101, No. 4, Pag. 677-712, Springer, 2013.
• Reinhard Kahle and Isabel Oitavem, Applicative theories for the polynomial hierarchy of time and its levels, ANNALS OF PURE AND APPLIED LOGIC, Vol. 164, Pag. 663-675, 2013.
• Gregory Wheeler and Richard Scheines, Coherence and Confirmation Through Causation, Mind, Oxford University Press, forthcoming, 2013.
• Han The Anh and Luís Moniz Pereira, Context-dependent Incremental Decision Making Srutinizing Intentions of Others via Bayesian Network Model Construction, Intelligent Decision Technologies (IDT), Vol. 7, No. 4, Pag. 293-317, IOS Press, http://www.iospress.nl/journal/intelligent-decision-technologies/, ISSN 1872-4981, doi:10.3233/IDT-130170, (url), 2013.
• Eduardo Fermé and Maurıcio D. L. Reis, Epistemic entrenchment-based multiple contractions, The Review of Symbolic Logic, Vol. 6, No. 3, Pag. 460-487, Cambridge University Press, ISSN 1755-0203, (url), 2013.
• José Júlio Alferes, R. Gonçalves and João Alexandre Leite, Equivalence of defeasible normative systems, Journal of Applied Non-Classical Logics, Vol. 23, No. 1-2, Pag. 25-48, 2013.
• Han The Anh, Luís Moniz Pereira, Francisco C. Santos and Tom Lenaerts, Good Agreements Make Good Friends, Nature Scientific Reports, Vol. 3, No. 269, Pag. DOI:10.1038/srep02695, Nature Publishing Group, http://www.nature.com/srep/index.html, ISSN 2045-2322, (url), 2013.
• Filipe Madeira, Salvador Abreu and Rui Quaresma, Hybrid Recommender Strategy in Learning: and Experimental Evaluation, Social Technologies, Vol. 3, No. 1, Pag. 7-24, ISSN 1758-0374, (url), 2013.
• Pedro Salgueiro and Salvador Abreu, Modeling Distributed Network Attacks with Constraints, International Journal of Bio-Inspired Computation, Vol. 5, No. 4, Pag. 210-225, Inderscience Publishers, (url), 2013.
• David Mendes, Irene Rodrigues and Carlos Baeta, Ontology based Clinical Practice Justification in Natural Language, Procedia Technology, Vol. 9, No. 0, Pag. 1288 - 1293, Elsevier, (url), 2013.
• Reinhard Kahle, Os interlocutores científicas de Hugo Ribeiro, Boletim da Sociedade Portuguesa de Matemática, Vol. 6? (Suplemento), Pag. 2 pages, Resumo alargado do Seminário Nacional de História da Matemática 2013., 2013.
• José Júlio Alferes, Matthias Knorr and Terrance Swift, Query-driven procedures for hybrid MKNF knowledge bases, ACM Transactions in Computational Logic, Vol. 14, No. 2, Pag. 1-43, ACM, 2013.
• Tamito Kajiyama, Davide D'Alimonte and Giuseppe Zibordi, Regional algorithms for {European} seas: a case study based on {MERIS} data, IEEE Geosci. Remote Sens. Lett., Vol. 10, No. 2, Pag. 283-287, 2013.
• Davide D'Alimonte, Eugeny B. Shybanov, Giuseppe Zibordi and Tamito Kajiyama, Regression of In-water Radiometric Profile Data, Opt. Express, Vol. 21, No. 23, Pag. 27, ISSN 0034-4257, 2013.
• Han The Anh and Luís Moniz Pereira, State-of-the-Art of Intention Recognition and its Use in Decision Making, AI Communications, Vol. 26, No. 2, Pag. 237–246, IOS Press, http://iospress.metapress.com/content/103140/, ISSN 0921-7126, doi: 10.3233/AIC-130559, (url), 2013.
• Marco Correia and Pedro Barahona, View-based propagation of decomposable constraints, Constraints, Vol. 18, No. 4, Pag. 579-608, Springer US, ISSN 1383-7133, (url), 2013.
• Matthias Knorr, Martin Slota, João Alexandre Leite and Martin Homola, What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems, Journal of Logic and Computation, (url), 2013.