Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
121
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
Scopus122
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 - Logics in AI
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Lecture Notes in Computer Science - Logics in AI
INDEXED IN: 
CrossRef
CrossRef123
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
CrossRef124
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
Scopus125
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
Scopus126
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
Scopus127
TITLE: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
128
TITLE: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTHORS: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLISHED: 1984, SOURCE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
AUTHORS: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLISHED: 1984, SOURCE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
INDEXED IN: Scopus
Scopus129
TITLE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings PDF
AUTHORS: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLISHED: 1983
AUTHORS: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLISHED: 1983
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: Relational Data Bases 'à la carte' PDF
AUTHORS: Miguel Filgueiras; Luís Moniz Pereira;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
AUTHORS: Miguel Filgueiras; Luís Moniz Pereira;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP