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.