Papers in proceedings

• J. F. Castro and Luís Moniz Pereira, Abductive Validation of a Power-Grid Expert System Diagnoser, 17th Intl.Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE'04), Proceedings, IPMU, Ottawa, Canada, 2004.
• Gregory Wheeler and Carlos Viegas Damásio, An implementation of Statistical Default Logic, in: José Júlio Alferes and João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 121-133, 2004.
• Gregory Wheeler and Luís Moniz Pereira, Chrisholm, Naturalism, and the Role of Logic in Epistemology, IIº Encontro Nacional de Filosofia Analítica (ENFA-2), U. Porto, Portugal, October 7-9, 2004, Proceedings, Sociedade Portuguesa de Filosofia Analítica, 2004.
• Salvador Abreu and D. Diaz, Contexts for organizational information system design and implementation, ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Pag. 227-232, 2004.
• José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio and Terrance Swift, Deductive Diagnosis of Digital Circuits, In First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), Kluwer Academic Press, Pag. 155-165, 2004.
• José Júlio Alferes, Federico Banti and Antonio Brogi, From logic programs updates to action description updates, in: João Alexandre Leite and Paolo Torroni (eds), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Pre-Proceedings, Lisbon, Portugal, ISBN 972-9119-37-6, 2004.
• Nuno Viana, João Moura Pires and A. Donati, Handling heterogeneous real-time and historical Space Weather and Spacecraft data in the SEIS project, FESWW - First European Space Weather Week, 2004.
• Miguel Calejo, InterProlog: towards a declarative embedding of logic programming in Java, in: José Júlio Alferes and João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 714-717, 2004.
• Marco Correia and Pedro Barahona, Machine Learned Heuristics to Improve Constraint Satisfaction, in: Ana L. C. Balzan and Sofiane Labidi (eds), 17th Brazilian Symposium on Artificial Intelligence, SBIA'04 (Procs.), Lecture Notes in Computer Science, Springer, Vol. 3171, Pag. 103-113, 2004.
• João Alexandre Leite, On Some Differences Between Semantics of Logic Program Updates, in: Christian Lemaître, Carlos A. Reyes and Jesús A. González (eds), Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3315, ISBN 3-540-23806-9, Pag. 375-385, (url), 2004.