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

Journal articles

  • 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.
  • 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.
  • 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, No. 0, Pag. 543 - 560, ISSN 0377-0427, (url), 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, (url), 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.

This year's information may not be complete.


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