Papers in proceedings

• Wolfgang May, José Júlio Alferes and Ricardo Amador, An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web, in: R. Meersman, Z. Tari, M. Hacid, J. Mylopoulos, B. Pernici, O. Babaoglu, H. Jacobsen, J. Loyall, M. Kifer and S. Spaccapietra (eds), RulesOn the Move to Meaningful Internet Systems 2005: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Lecture Notes in Computer Science, Springer, Vol. 3761, Pag. 1553-1570, 2005.
• Marco Castellani, Automatic detection of Mediterranean water eddies from satellite imagery of the Atlantic Ocean, in: D T Pham, E E Eldukhri and A J Soroka (eds), Proceedings of the 1st Virtual International Conference on Intelligent Production Machines and Systems, Elsevier, ISBN 0-080-44730-9, Pag. 163-170, 2005.
• Marco Correia, Pedro Barahona and Francisco Azevedo, CaSPER: A Programming Environment for Development and Integration of Constraint Solvers, in: Francisco Azevedo (eds), Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD'05), Pag. 59-73, 2005.
• Gregory Wheeler, Computing, Philosophy and Cognition, in: Lorenzo Magnani and Riccardo Dossena (eds), , King's College Publications, London, 2005.
• Kyburg, H. E. Jr., Choh Man Teng and Gregory Wheeler, Conditionals and Consequences, in: Luís Moniz Pereira and Gregory Wheeler (eds), Proceedings of CMSRA-IV, Lisbon, 2005.
• Gil Loureiro and Francisco Azevedo, Constrained XSL Formatting Objects for Adaptive Documents, in: Peter R. King (eds), Proceedings of the 2005 ACM symposium on Document engineering (DocEng 2005), ACM, ISBN 1-59593-240-2, Pag. 95-97, 2005.
• José Júlio Alferes, Federico Banti and Antonio Brogi, From logic programs updates to action description updates, in: João Alexandre Leite and P. Torroni (eds), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V - Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Springer, Vol. 3387, Pag. 52-77, 2005.
• Federico Banti, José Júlio Alferes and Antonio Brogi, Implementation of dynamic logic programs, in: M. Proietti (eds), Proceedings of CILC'05 - Italian Conference on Computational Logic, Quaderno del Dipartimento di Matematica, 2005.
• G. Guimaraes and Luís Moniz Pereira, Inferring Definite-Clause Grammars to Express Multivariate Time Series, in: M. Ali and F. Esposito (eds), Procs. The 18th Intl.Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE'05), LNAI, Springer, Bari, Italy, Vol. 3533, Pag. 332-341, 2005.
• Jeannette Bohg, Reinhard Kahle and Alexandre Miguel Pinto, International Tele-Teaching - A Progress Report, in: V. Dötsch, K. Hering and F. Schaar (eds), Auf dem Weg vom Hype in die Konsilidierung? Proceedings of the Workshop on e-Learning 2005, HTWK Leipzig, 11.-12. Juli 2005, Fachbereich Informatik, Mathematik und Naturwissenschaften der Hochschule für Technik, Wirtschaft und Kultur Leipzig (FH), Pag. 153-164, 2005.