Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
101
TÃTULO: Coherent well-founded annotated logic programs
AUTORES: Damásio, CV; Pereira, LM; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
AUTORES: Damásio, CV; Pereira, LM; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
102
TÃTULO: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTORES: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLICAÇÃO: 1999, FONTE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
AUTORES: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLICAÇÃO: 1999, FONTE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
103
TÃTULO: Morphological and physiological changes detected in skin after iontophoresis. An in-vivo model
AUTORES: Pinto, P; Galego, N; Pereira, LM; Fitas, M; Afonso, A; Goncalves, H; Rodrigues, L ;
PUBLICAÇÃO: 1997, FONTE: Pharmaceutical Sciences, VOLUME: 3, NÚMERO: 2
AUTORES: Pinto, P; Galego, N; Pereira, LM; Fitas, M; Afonso, A; Goncalves, H; Rodrigues, L ;
PUBLICAÇÃO: 1997, FONTE: Pharmaceutical Sciences, VOLUME: 3, NÚMERO: 2
INDEXADO EM: 
Scopus
Scopus104
TÃTULO: REVISE: Logic programming and diagnosis
AUTORES: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
AUTORES: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXADO EM: Scopus
Scopus105
TÃTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXADO EM: Scopus
Scopus106
TÃTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1997, FONTE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1997, FONTE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef107
TÃTULO: Prolegomena to logic programming for non-monotonic reasoning
AUTORES: Dix, J; Luís, MP; Przymusinski, TC;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1216
AUTORES: Dix, J; Luís, MP; Przymusinski, TC;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1216
INDEXADO EM: Scopus
Scopus108
TÃTULO: Reasoning with Logic Programming
AUTORES: José Júlio Alferes ; Luís Moniz Pereira;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
AUTORES: José Júlio Alferes ; Luís Moniz Pereira;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef109
TÃTULO: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1126
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1126
INDEXADO EM: Scopus
Scopus110
TÃTULO: Default negated conclusions: Why not?
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
INDEXADO EM: Scopus
Scopus