Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
111
TÃTULO: Default negated conclusions: Why not?
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
INDEXADO EM: 
Scopus
Scopus112
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
CrossRef113
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
Scopus114
TÃTULO: Belief, provability, and logic programs
AUTORES: Alferes, JJ ; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 5, NÚMERO: 1
AUTORES: Alferes, JJ ; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
Scopus CrossRef115
TÃTULO: A logic programming system for nonmonotonic reasoning
AUTORES: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, NÚMERO: 1
AUTORES: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, NÚMERO: 1
116
TÃTULO: Abduction over 3-valued extended logic programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef117
TÃTULO: A model theory for paraconsistent logic programming
AUTORES: Damásio, CV; Pereira, LM;
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: Damásio, CV; Pereira, LM;
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
Scopus118
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
Scopus119
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
Scopus120
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
