Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
121
TÃTULO: Belief revision in non-monotonic reasoning
AUTORES: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
AUTORES: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: 
Scopus
Scopus122
TÃTULO: Preface
AUTORES: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
AUTORES: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
INDEXADO EM: Scopus
Scopus123
TÃTULO: Adding closed world assumptions to well-founded semantics Full Text
AUTORES: Luís Moniz Pereira; JoséJ Alferes; Joaquim N Aparício;
PUBLICAÇÃO: 1994, FONTE: Theoretical Computer Science, VOLUME: 122, NÚMERO: 1-2
AUTORES: Luís Moniz Pereira; JoséJ Alferes; Joaquim N Aparício;
PUBLICAÇÃO: 1994, FONTE: Theoretical Computer Science, VOLUME: 122, NÚMERO: 1-2
124
TÃTULO: Contradiction: When avoidance equals removal part II
AUTORES: Luís Moniz Pereira; José Júlio Alferes ;
PUBLICAÇÃO: 1994, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
AUTORES: Luís Moniz Pereira; José Júlio Alferes ;
PUBLICAÇÃO: 1994, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef125
TÃTULO: Non-monotonic reasoning with logic programming Full Text
AUTORES: Luís Moniz Pereira; Joaquim N Aparício; JoséJ Alferes;
PUBLICAÇÃO: 1993, FONTE: The Journal of Logic Programming, VOLUME: 17, NÚMERO: 2-4
AUTORES: Luís Moniz Pereira; Joaquim N Aparício; JoséJ Alferes;
PUBLICAÇÃO: 1993, FONTE: The Journal of Logic Programming, VOLUME: 17, NÚMERO: 2-4
126
TÃTULO: Debugging by diagnosing assumptions
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
INDEXADO EM: Scopus
Scopus127
TÃTULO: Default theory for well founded semantics with explicit negation
AUTORES: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLICAÇÃO: 1992, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 633 LNAI
AUTORES: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLICAÇÃO: 1992, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 633 LNAI
INDEXADO EM: Scopus CrossRef
Scopus CrossRef128
TÃTULO: Declarative source debugging
AUTORES: Miguel Calejo; Luís Moniz Pereira;
PUBLICAÇÃO: 1991, FONTE: EPIA 91 - Lecture Notes in Computer Science
AUTORES: Miguel Calejo; Luís Moniz Pereira;
PUBLICAÇÃO: 1991, FONTE: EPIA 91 - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef129
TÃTULO: Preface
AUTORES: Pereira, LM; Porto, A; Barahona, P;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
AUTORES: Pereira, LM; Porto, A; Barahona, P;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
INDEXADO EM: Scopus
Scopus130
TÃTULO: EPIA 91: 5th portuguese conference on artificial intelligence Albufeira, Portugal, October 1-3, 1991 proceedings
AUTORES: Pereira, LM; Porto, A ; Barahona, P;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
AUTORES: Pereira, LM; Porto, A ; Barahona, P;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
INDEXADO EM: Scopus
Scopus