Papers in proceedings

• Marta Pantoquilho, J. Neto, Nuno Viana, R. Ribeiro and João Moura Pires, Online and Offline Monitoring and Diagnosis of Spacecraft and Space Weather Status, EUROFUSE Workshop on Data and Knowledge Engineering, 2004.
• Salvador Abreu, D. Diaz and Vitor Nogueira, Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming, in: Viljan Mahnic (eds), EUNIS 2004 - Proceedings of the 10th International Conference of European University Information Systems, University of Llubljana, 2004.
• Marta Pantoquilho, J. Neto, João Moura Pires and A. Donati, Real Time Monitoring of Space Weather and Spacecraft Conditions for Early Anomaly Detection within the SEIS system, FESWW - First European Space Weather Week, 2004.
• João Moura Pires, Marta Pantoquilho and Nuno Viana, Real-Time Decision Support System for Space Missions Control, The International Conference on Information and Knowledge Engineering, 2004.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Revised Stable Models - a new semantics for logic programs, in: Dipartimento di Matematica (eds), Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings, Univ. Parma, Invited paper, 2004.
• José Júlio Alferes, Federico Banti, Antonio Brogi and João Alexandre Leite, Semantics for Dynamic Logic Programming: A Principle-Based Approach, in: Vladimir Lifschitz and Ilkka Niemelä (eds), Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2923, ISBN 3-540-20721-X, Pag. 8-20, (url), 2004.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, Sorted Multi-adjoint Logic Programs: Termination Results and Applications, in: 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.
• I. Dorotovic, Marta Pantoquilho, Nuno Viana and João Moura Pires, Space Environment Information System for Mission Control Purposes - a Decision Support System based on an architecture for space weather services, 17th National Solar Physics Meeting, 2004.
• João Moura Pires, Marta Pantoquilho and Nuno Viana, Space Environment Information System for Mission Control Purposes: Real-Time Monitoring and Inference of Space Craft Status, IEEE Conference on Control Applications, 2004.
• A. Donati, F. D. Marco, Nuno Viana, Marta Pantoquilho, A. Baumgartner and João Moura Pires, Space Weather and Mission Control: A Roadmap to an Operational Multi-Mission Decision Support System, Eight International Conference on Space Operations (SpaceOps 2004), 2004.