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

Books

Book editions

  • Reasoning Web, in: Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze and Ulrike Sattler (eds), , Lecture Notes in Computer Science, Springer, Caparica, Portugal, Vol. 4126, ISBN 3-540-38409-X, September 2006.
  • CSCLP 2006, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, in: Francisco Azevedo, Pedro Barahona, Francois Fages and Francesca Rossi (eds), , Caparica, Portugal, June 2006.
  • Karl-Heinz Niggl, Reinhard Kahle and Birgit Elbl (eds), 5th International Workshop on Proof, Computation, Complexity, PCC '06, Universitätsverlag Ilmenau, 2006.
  • Computational Processing of the Portuguese Language, 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings, in: Renata Vieira, Paulo Quaresma, Maria das Graças Volpe Nunes, Nuno Mamede, Claudia Oliveira and Maria Carmelita Dias (eds), PROPOR, Lecture Notes in Computer Science, Springer, Vol. 3960, ISBN 3-540-34045-9, (url), 2006.
  • CSCLP'2006 workshop notes, in: Francisco Azevedo, Pedro Barahona, Francois Fages and Francesca Rossi (eds), Proceedings of the 11th Annual ERCIM Workshop on Constraint Programming, Pag. vi + 256, 2006.
  • Reinhard Kahle and Isabel Oitavem (eds), Days in Logic '06, Vol. 38 of Textos de Matemática, Departamento de Matemática, Universidade de Coimbra, 2006.
  • Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, in: José Júlio Alferes, James Bailey, Wolfgang May and Uta Schwertel (eds), PPSWR, Lecture Notes in Computer Science, Springer, Vol. 4187, ISBN 3-540-39586-5, 2006.
  • Reinhard Kahle and Peter Schroeder-Heister (eds), Proof-theoretic semantics, (Special issue), Vol. 148 of Synthese, 2006.

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