Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
61
TITLE: Logics in Artificial Intelligence
AUTHORS: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
AUTHORS: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef62
TITLE: Abduction over 3-valued extended logic programs
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 1995, SOURCE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 928
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 1995, SOURCE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 928
INDEXED IN: 
Scopus
Scopus63
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
Scopus64
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
Scopus65
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
Scopus66
TITLE: EPIA '91. 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
AUTHORS: Portuguese Conference on Artificial Intelligence (5th 1991 Albufeira, Portugal); port Portuguese Conference on Artificial Intelligence 1991 Albufeira; Luis Moniz Pereira; P. Barahona;
PUBLISHED: 1991
AUTHORS: Portuguese Conference on Artificial Intelligence (5th 1991 Albufeira, Portugal); port Portuguese Conference on Artificial Intelligence 1991 Albufeira; Luis Moniz Pereira; P. Barahona;
PUBLISHED: 1991
INDEXED IN: 
Openlibrary
Openlibrary67
TITLE: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reason., VOLUME: 2, ISSUE: 4
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reason., VOLUME: 2, ISSUE: 4
68
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
Scopus