Login

In Proceedings

Semantics for Dynamic Logic Programming: A Principle-Based Approach

InProceedings

Published in 01/01/2004

Authors

José Júlio Alferes, Vladimir Lifschitz, José Júlio Alferes, Vladimir Lifschitz, Federico Banti, Federico Banti, Antonio Brogi, Antonio Brogi, João Leite, João Leite,

Well Founded Semantics for Logic Program Updates

InProceedings

Published in 01/01/2004

Authors

Federico Banti, José Júlio Alferes, Carlos A. Reyes, Antonio Brogi,

Space Weather and Mission Control: A Roadmap to an Operational Multi-Mission Decision Support System

InProceedings

Published in 01/01/2004

Authors

A. Donati, F. D. Marco, Nuno Viana, Marta Pantoquilho, A. Baumgartner, João Moura Pires,

Semantics for Dynamic Logic Programming: A Principle-Based Approach

InProceedings

Published in 01/01/2004

Authors

José Júlio Alferes, Vladimir Lifschitz, José Júlio Alferes, Vladimir Lifschitz, Federico Banti, Federico Banti, Antonio Brogi, Antonio Brogi, João Leite, João Leite,

A dialogue manager for accessing databases

InProceedings

Published in 01/01/2004

Authors

H. Jaakkola, Salvador Abreu, Yasushi Kiyoki, Salvador Abreu, H. Kangassalo, Paulo Quaresma, Eiji Kawaguchi, Paulo Quaresma, Eiji Kawaguchi, Luis Quintano, Luis Quintano, Hannu Jaakola, Irene Rodrigues, Hannu Kangassalo, Irene Rodrigues,

Real-Time Decision Support System for Space Missions Control

InProceedings

Published in 01/01/2004

Authors

João Moura Pires, Marta Pantoquilho, Nuno Viana,

Handling heterogeneous real-time and historical Space Weather and Spacecraft data in the SEIS project

InProceedings

Published in 01/01/2004

Authors

Nuno Viana, João Moura Pires, A. Donati,

Deductive Diagnosis of Digital Circuits

InProceedings

Published in 01/01/2004

Authors

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Theresa Swift,

Real Time Monitoring of Space Weather and Spacecraft Conditions for Early Anomaly Detection within the SEIS system

InProceedings

Published in 01/01/2004

Authors

Marta Pantoquilho, J. Neto, João Moura Pires, A. Donati,

Chrisholm, Naturalism, and the Role of Logic in Epistemology

InProceedings

Published in 01/01/2004

Authors

Gregory Wheeler, Luís Moniz Pereira,