Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Publication exporters...

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 and José Júlio Alferes, 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.
  • 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.
  • 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.
  • Tamito Kajiyama, Davide D'Alimonte and Giuseppe Zibordi, Match-up Analysis of {MERIS} Radiometric Data in the {Northern Adriatic Sea, IEEE Geosci. Remote Sens. Lett., Vol. 11, No. 1, Pag. 19-23, 2014.
  • Maurıcio D. L. Reis, On the interrelation between systems of spheres and epistemic entrenchment relations, Logic Journal of IGPL, Vol. 22, No. 1, Pag. 126-146, Oxford University Press, ISSN 1368-9894, (url), 2014.
  • Martin Slota and João Alexandre Leite, The rise and fall of semantic rule updates based on SE-models, Theory and Practice of Logic Programming, Vol. 14, No. 6, Pag. 869-907, ISSN 1475-3081, (url), 2014.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento