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,

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,

Abductive Validation of a Power-Grid Expert System Diagnoser

InProceedings

Published in 01/01/2004

Authors

Luís Moniz Pereira,

A Updating Legal Documents – the case of phytosanitary protection of vegetables

InProceedings

Published in 01/01/2004

Authors

Agostinho Monteiro, Luís Moniz Pereira,

Weighted Multi Dimensional Logic Programming

InProceedings

Published in 01/01/2004

Authors

Juergen Dix, Pierangelo Dell'Acqua, João Leite,