Papers in proceedings

• Martin Slota and João Alexandre Leite, Operational Semantics for EVOLP, in: F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 118-133, September 2007.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic reasoning with continuous constraints, in: T. Simos, G. Psihoyos and Ch. Tsitouras (eds), Proceedings of the Int. Conf. on Numerical Analysis and Applied Mathematics, AIP Conference Proceedings, American Institute of Physics, Vol. 936, ISBN 978-0-7354-0447-2, ISSN 0094-243, Pag. 105 - 108, September 2007.
• Luís Moniz Pereira, P. Dell'Acqua and Gonçalo Lopes, Prospective Updating of Theories with Preferences, in: O. Pombo and A. Gerner (eds), Abduction and the Process of Scientific Discovery, Colecção Documenta, Publidisa, Pag. 65-96, September 2007.
• José Saias and Paulo Quaresma, The Senso Question Answering Approach to Portuguese QA@CLEF-2007, Proceedings of CLEF - Cross Language Evaluation Forum, Budapest, Hungary, ISSN: 1818-8044, ISBN: 2-912335-32-9, September 2007.
• R. Bordini, M. Dastani and João Alexandre Leite, Programming Languages for Multi-Agent Systems, in: Rafael H. Bordini (eds), Proceedings of the 9th European Agent System Summer School, EASSS'07, Pag. 287-319, August 2007.
• Anderson Bertoldi, Rove Chishman and Paulo Quaresma, A representação da semântica dos adjectivos em ontologias jurídicas: informação importante ou secundária?, Proceedings of TIL - 5th Workshop em Tecnologia da Informação e da Linguagem Humana, SBC - Sociedade Brasileira de Computação, Rio de Janeiro, Brasil, Pag. 1-11, July 2007.
• José Saias and Paulo Quaresma, A Proposal for a Web Information Extraction and Question-Answer System, in: Katarzyna M. Wegrzyn-Wolska and Piotr S. Szczepaniak (eds), Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC2007, Advances in Soft Computing, Springer, Fontainbleau, France, Vol. 43, ISBN 978-3-540-72574-9, June 2007.
• Matthias Knorr, José Júlio Alferes and P. Hitzler, A Well-founded Semantics for Hybrid MKNF Knowledge Bases, in: D. Calvanese, E. Franconi, V. Haarsle, D. Lembo, B. Motik and A-Y. Turhan (eds), Proceedings of 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June 2007.
• Luís Moniz Pereira and Ruben Duarte Viegas, Architecural Design via Declarative Programming, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the 9th International Conference on Enterprise Information Systems, Artificial Intelligence and Decision Support Systems, INSTICC Press, Funchal, Madeira, Portugal, Pag. 363-369, June 2007.
• Ricardo Ferreira and João Moura Pires, Extensible Metadata Repository for Information Systems and Enterprise Applications, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the Ninth International Conference on Enterprise Information Systems, INSTICC Press, Funchal, Madeira, Portugal, ISBN 9789728865887, Pag. 344-350, June 2007.