Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
121
TITLE: Preface
AUTHORS: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: 
Scopus
Scopus122
TITLE: Adding closed world assumptions to well-founded semantics Full Text
AUTHORS: Luís Moniz Pereira; JoséJ Alferes; Joaquim N Aparício;
PUBLISHED: 1994, SOURCE: Theoretical Computer Science, VOLUME: 122, ISSUE: 1-2
AUTHORS: Luís Moniz Pereira; JoséJ Alferes; Joaquim N Aparício;
PUBLISHED: 1994, SOURCE: Theoretical Computer Science, VOLUME: 122, ISSUE: 1-2
123
TITLE: Contradiction: When avoidance equals removal part II
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ;
PUBLISHED: 1994, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ;
PUBLISHED: 1994, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef124
TITLE: Non-monotonic reasoning with logic programming Full Text
AUTHORS: Luís Moniz Pereira; Joaquim N Aparício; JoséJ Alferes;
PUBLISHED: 1993, SOURCE: The Journal of Logic Programming, VOLUME: 17, ISSUE: 2-4
AUTHORS: Luís Moniz Pereira; Joaquim N Aparício; JoséJ Alferes;
PUBLISHED: 1993, SOURCE: The Journal of Logic Programming, VOLUME: 17, ISSUE: 2-4
125
TITLE: Debugging by diagnosing assumptions
AUTHORS: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLISHED: 1993, SOURCE: 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
AUTHORS: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLISHED: 1993, SOURCE: 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
INDEXED IN: Scopus
Scopus126
TITLE: Default theory for well founded semantics with explicit negation
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 633 LNAI
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 633 LNAI
INDEXED IN: Scopus CrossRef
Scopus CrossRef127
TITLE: Declarative source debugging
AUTHORS: Miguel Calejo; Luís Moniz Pereira;
PUBLISHED: 1991, SOURCE: EPIA 91 - Lecture Notes in Computer Science
AUTHORS: Miguel Calejo; Luís Moniz Pereira;
PUBLISHED: 1991, SOURCE: EPIA 91 - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef128
TITLE: Preface
AUTHORS: Pereira, LM; Porto, A; Barahona, P;
PUBLISHED: 1991, SOURCE: 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
AUTHORS: Pereira, LM; Porto, A; Barahona, P;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: Scopus
Scopus129
TITLE: EPIA 91: 5th portuguese conference on artificial intelligence Albufeira, Portugal, October 1-3, 1991 proceedings
AUTHORS: Pereira, LM; Porto, A ; Barahona, P;
PUBLISHED: 1991, SOURCE: 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
AUTHORS: Pereira, LM; Porto, A ; Barahona, P;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: Scopus
Scopus130
TITLE: Algorithmic debugging of prolog side-effects
AUTHORS: Pereira, LM; Calejo, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI
AUTHORS: Pereira, LM; Calejo, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI
INDEXED IN: Scopus
Scopus