Papers in proceedings

• Vasco Pedro, Rui Machado and Salvador Abreu, A Parallel and Distributed Framework for Constraint Solving, Proceedings of the 1st Workshop on Parallel Methods for Constraint Solving (PCMS 2011), Università degli Studi di Perugia, 2011.
• Alfredo Gabaldon, A selective semantics for logic programs with preferences, in: Sebastian Sardina and Stavros Vassos (eds), 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011), Pag. 95-101, 2011.
• David Mendes and Irene Rodrigues, A Semantic Web pragmatic approach to develop Clinical ontolologies, and thus Semantic Interoperability, based in HL7 v2.xml messaging, HCist 2011 - Proceedings of the International Workshop on Health and Social Care Information Systems and Technologies, Springer-Verlag - book of the CCIS series (Communications in Computer and Information Science), 2011.
• Ekaterina Cherniak, Olga Chugunova, Julia Askarova, Susana Nascimento and Boris Mirkin, Abstracting concepts from text documents by using an ontology, in: D. Ignatov, S.O. Kuznetsov and J. Poelmans (eds), First International Workshop on Concept Discovery in Unstructured Data, CEUR-WS.org, Vol. 757, ISSN 1613-0073, Pag. 20-30, (url), 2011.
• Reinhard Kahle and Isabel Oitavem, An applicative theory for FPH, in: Steffen van Bakel, Stefano Berardi and Ulrich Berger (eds), Classical Logic and Computation 2010, Electronic Proceedings in Theoretical Computer Science, Vol. 47, Pag. 44-56, 2011.
• Ana Luísa Leal, Paulo Quaresma and Luís Rodrigues, AuTema-Dis: uma arquitectura computacional para identificação da temática discursiva em textos em Língua Portuguesa, Proceedings of III Workshop "A RST e os Estudos do Texto" of the 8th Brazilian Symposium in Information and Human Language Technology - STIL2011, Mato Grosso, Brasil, \href{http://www.di.uevora.pt/~pq/papers/rst2011.pdf}{(pdf), 2011.
• David Mendes and Irene Rodrigues, Automatic Ontology Population extracted from SAM Healthcare Texts in Portuguese, Jornadas de Informática da Universidade de Évora, 2011.
• Martin Slota and João Alexandre Leite, Back and Forth between Rules and SE-Models, in: James P. Delgrande and Wolfgang Faber (eds), Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 6645, ISBN 978-3-642-20894-2, Pag. 174-186, 2011.
• Francisco Azevedo, João Gomes-Mota, L. Campos Pinto and Jorge Casaca, Caracterização Ambiental da Rede de Transmissão Portuguesa a partir de Dados de Inspecção de Linhas, Proceedings of Décimo Quarto Encuentro Regional Iberoamericano de Cigré (XIV ERIAC), 2011, 2011.
• Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jimenez-Lopez and Ludwig Krippahl, Classification tree generation constrained with variable weights, Proceedings of the 4th international conference on Interplay between natural and artificial computation, Lecture Notes in Computer Science, Springer, Berlin-Heidelberg, Vol. 6686, ISBN 978-3-642-21343-4, Pag. 274-283, 2011.