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.