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

Papers in proceedings

  • Jesse Alama, Kasper Brink, Lionel Mamane and Josef Urban, Large formal wikis: Issues and solutions, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 133-148, (url), 2011.
  • Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki and Josef Urban, Licensing the Mizar Mathematical Library, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 149-163, (url), 2011.
  • Alfredo Gabaldon, Making Golog norm compliant, in: \\ João Leite, Paolo Torroni, Thomas Agotnes, Guido Boella and Leon van der Torre (eds), 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), LNCS/LNAI, Springer, Vol. 6814, ISBN 978-3-642-22358-7, 2011.
  • Jesse Alama, Metadata for a wiki of formalized mathematics, in: Christoph Lange and Josef Urban (eds), MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis, CEUR Workshop Proceedings, Vol. 767, Pag. 2-5, (url), 2011.
  • Jesse Alama, mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 276-277, (url), 2011.
  • Pedro Salgueiro and Salvador Abreu, Modeling Distributed Network Attacks with Constraints, Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Studies in Computational Intelligence, Springer, Vol. 382, ISBN 978-3-642-24012-6, Pag. 203-212, (url), 2011.
  • T. Kajiyama, Davide D’Alimonte, G. Zibordi and J. C. Cunha, MOX: A high-performance Monte Carlo code for in-water radiative transfer modeling in a high-resolution two-dimensional domain, Oceans from Space Symposium, Venice, 2011.
  • Yves Caniou, Philippe Codognet, Daniel Diaz and Salvador Abreu, Parallel constraint-based local search on the HA8000 supercomputer (abstract), Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), ACM, ISBN 978-1-4503-0113-8, (url), 2011.
  • Salvador Abreu, Yves Caniou, Philippe Codognet, Daniel Diaz and Florian Richoux, Performance Analysis of Parallel Constraint-Based Local Search, Proceedings of the 1st Workshop on Parallel Methods for Constraint Solving (PCMS 2011), Università degli Studi di Perugia, 2011.
  • José Saias and Paulo Quaresma, Semantic Networks and Spreading Activation Process for QA improvement on text answers, Proceedings of the 8th Brazilian Symposium in Information and Human Language Technology - STIL2011, Mato Grosso, Brasil, 2011.
complete listing | pages: 1 | 2 | 3 | 4 | 5 | 6 | [7] | 8 | 9

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