Papers in proceedings

• C. Bratsas, P. Bamidis, Paulo Quaresma, G. Pangalos and N. Maglaveras, Knowledge Management for Medical Computational Problem Solving: an Ontological Approach, in: M. Kon-Popovska and K. Zdravkova (eds), 2nd Balkan Conference in Informatics, Ohrid, Macedonia, Pag. 316-326, 2005.
• Luís Rato, Irene Rodrigues and Rui Gomes, Knowledge representation approach to closed loop control system - a tank system case-study, in: Joaquim Filipe, Juan Andrade-Cetto and Jean-Louis Ferrier (eds), ICINCO, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD, INSTICC Press, Pag. 113-118, 2005.
• P. Dell'Acqua, Anna Lombardi and Luís Moniz Pereira, Modelling Hybrid Control Systems with Behaviour Networks, in: J. Filipe, J.-L. Ferrier and J. A. Cetto (eds), Procs. Intelligent Control Systems and Optimization, INSTICC Press, Barcelona, Spain, Vol. 1, Pag. 98-105, 2005.
• Federico Banti, José Júlio Alferes and Antonio Brogi, Operational Semantics for DyLPs, in: A. Cardoso, Carlos Bento and G. Dias (eds), Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05), Lecture Notes in Artificial Intelligence, Springer, Vol. 3808, Pag. 43-54, 2005.
• P. Dell'Acqua and Luís Moniz Pereira, Preferential theory revision, in: Luís Moniz Pereira and Gregory Wheeler (eds), Procs. Computational Models of Scientific Reasoning and Applications (CMSRA-IV), Lisbon, Portugal, Pag. 69-84, 2005.
• Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains, in: Francisco Azevedo, Carmen Gervet and Enrico Pontelli (eds), BeyondFD'2005 workshop notes, Pag. vi + 92, 2005.
• Gregory Wheeler, Reliability and Imprecision, in: Fitelson and Sakar (eds), Proceedings of the second Austin-Berkeley Epistemology Workshop (FEW 2005), May 25-29, 2005.
• Marta Pantoquilho, Nuno Viana, R. Ferreira, João Moura Pires, A. Donati, A. Baumgartner, F. D. Marco, L. PeÒin and T. Hormigo, SEIS: A Decision Support System for Optimizing Spacecraft Operations Strategies, , Montana, USA, 2005.
• C. Bratsas, I. Hatzizisis, P. Bamidis, Paulo Quaresma and N. Maglaveras, Similarity Estimation among OWL Descriptions of Computational Cardiology Problems in a Knowledge Base, Proceedings of CinC 2005 - Computers in Cardiology, IEEE, Lyon, France, Pag. 101-104, 2005.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio and Gerd Wagner, Stable Model Theory for Extended RDF Ontologies, in: Yolanda Gil, Enrico Motta, V. Richard Benjamins and Mark A. Musen (eds), The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3729, ISBN 3-540-29754-5, Pag. 21-36, 2005.