Papers in proceedings

• Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler and Jon Williamson, Possible Semantics for a Common Framework of Probabilistic Logics, in: V. N. Huynh (eds), International Workshop on Interval Probabilistic Uncertainty and Non-Classical Logics, (UniLog 2008), Advances in Soft Computing Series, Springer, Pag. 268-279, 2008.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for inverse problems, in: V. N. Huynh (eds), Interval/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing, Springer, Vol. 46, ISBN 978-3-540-77663-5, Pag. 115-128, 2008.
• Rafael Bordini, Mehdi Dastani, Koen Hindriks and João Alexandre Leite, Programming Languages and Development Tools for Multi-Agent Systems, in: Pinar Yolum (eds), Tutorial Notes, 7th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'08, Pag. 1-104, 2008.
• Luis Quintano and Irene Rodrigues, Question/Answering Clarification Dialogues, in: Alexander F. Gelbukh and Eduardo Morales (eds), MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, LNCS, Springer, Vol. 5317, ISBN 978-3-540-88635-8, 2008.
• Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion and Isabel Oitavem, Recursion Schemata for NC^k, in: M. Kaminski and S. Martini (eds), CSL 2008, Lecture Notes in Computer Science, Springer, Pag. 49-63, (url), 2008.
• Manoela Ilic, João Alexandre Leite and Martin Slota, Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics, in: L. Jain, P. Lingras, M. Klusch, J. Lu, C. Zhang, N. Cercone and L. Cao (eds), 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, IEEE, Pag. 840-846, 2008.
• José Saias and Paulo Quaresma, The University of Évora's Participation in QA@CLEF-2007, in: C. Peters et al. (eds), Workshop of the Cross Language Evaluation Forum 2007, Lecture Notes in Computer Science, Springer-Verlag, Vol. 5152, Pag. 316-323, (url), 2008.
• José Júlio Alferes, Ricardo Amador, P. Karger and Daniel Olmedilla, Towards reactive semantic web policies: Advanced agent control for the semantic web, in: Ricardo Amador (eds), International Semantic Web Conference (ISWC), CEUR-WS.org, Short Paper, 2008.
• Reinhard Kahle, Towards Reverse Proofs-as-Programs, in: Arnold Beckmann, Costas Dimitracopoulos and Benedikt Lowe (eds), Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, University of Athens, Pag. 224-233, Local Proceedings, 2008.