Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
61
TÃTULO: Logics in Artificial Intelligence
AUTORES: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
AUTORES: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
INDEXADO EM:
CrossRef
CrossRef62
TÃTULO: Abduction over 3-valued extended logic programs
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 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
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 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
INDEXADO EM:
Scopus
63
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
64
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
65
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
66
TÃTULO: EPIA '91. 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
AUTORES: Portuguese Conference on Artificial Intelligence (5th 1991 Albufeira, Portugal); port Portuguese Conference on Artificial Intelligence 1991 Albufeira; Luis Moniz Pereira; P. Barahona;
PUBLICAÇÃO: 1991
AUTORES: Portuguese Conference on Artificial Intelligence (5th 1991 Albufeira, Portugal); port Portuguese Conference on Artificial Intelligence 1991 Albufeira; Luis Moniz Pereira; P. Barahona;
PUBLICAÇÃO: 1991
INDEXADO EM:
Openlibrary
Openlibrary67
TÃTULO: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTORES: Helder Coelho; Luís Moniz Pereira;
PUBLICAÇÃO: 1986, FONTE: J. Autom. Reason., VOLUME: 2, NÚMERO: 4
AUTORES: Helder Coelho; Luís Moniz Pereira;
PUBLICAÇÃO: 1986, FONTE: J. Autom. Reason., VOLUME: 2, NÚMERO: 4
68
TÃTULO: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTORES: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLICAÇÃO: 1984, FONTE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
AUTORES: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLICAÇÃO: 1984, FONTE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
INDEXADO EM:
Scopus