Journal articles

• Luís Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler, Contextual Abductive Reasoning with Side-Effects, Theory and Practice of Logic Programming, Vol. 14, No. 4-5, Pag. 633-648, Cambridge University Press, Cambridge, UK, ISSN 1471-0684, doi: 10.1017/S1471068414000258 http://arxiv.org/abs/1405.3713, (url), July 2014.
• Ari Saptawijaya and Luís Moniz Pereira, Joint Tabling of Logic Program Abductions and Updates, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, Cambridge, UK, (url), July 2014.
• Alexandre Goldsztejn, Jorge Cruz and Elsa Carvalho, Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities, Journal of Computational and Applied Mathematics, Vol. 260, Pag. 543 - 560, Elsevier, ISSN 0377-0427, (url), April 2014.
• Ana Sofia Gomes, José Júlio Alferes and Terrance Swift, A goal-directed implementation of query answering for hybrid MKNF knowledge bases, Theory and Practice of Logic Programming, Vol. 14, No. 2, Pag. 239-264, Cambridge University Press, March 2014.
• David Mendes, Irene Rodrigues, Carlos Baeta and Carlos Rodriguez-Solano, Enrichment/Population of Customized CPR (Computer-Based Patient Record) Ontology from Free-Text Reports for CSI (Computer Semantic Interoperability), Journal of Information Technology Research (JITR), Vol. 7, No. I, Pag. 11, IGI Global, (url), March 2014.
• Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou and Ioannis Pachoulakis, Why-provenance information for RDF, rules, and negation, Annals of Mathematics and Artificial Intelligence, Vol. 70, No. 3, Pag. 221-277, Springer International Publishing, ISSN 1012-2443, (url), March 2014.
• Martin Slota, Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Answer-Set Program Update, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, 2014.
• Reinhard Kahle, Classifying proofs, Bulletin of Symbolic Logic, Vol. 20, No. 2, Pag. 214, Abstract of an invited talks in the Special Session on Logical Analysis of Mathematical Proofs at the Logic Colloquium 2013., 2014.
• Davide D'Alimonte, Giuseppe Zibordi, Tamito Kajiyama and Jean-François Berthon, Comparison between {MERIS} and Regional High-Level Products in {European} Seas, Remote Sens. Environ., Vol. 140, Pag. 378-395, 2014.
• Terrance Swift, Incremental Tabling in Support of Knowledge Representation and Reasoning, Theory and Practice of Logic Programming, Vol. 14, No. 4-5, 2014.

This year's information may not be complete.