Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
111
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
CrossRef112
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
Scopus113
TITLE: Belief, provability, and logic programs
AUTHORS: Alferes, JJ ; Pereira, LM;
PUBLISHED: 1995, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 5, ISSUE: 1
AUTHORS: Alferes, JJ ; Pereira, LM;
PUBLISHED: 1995, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus CrossRef
Scopus CrossRef114
TITLE: A logic programming system for nonmonotonic reasoning
AUTHORS: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLISHED: 1995, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, ISSUE: 1
AUTHORS: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLISHED: 1995, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, ISSUE: 1
115
TITLE: Abduction over 3-valued extended logic programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 1995, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 1995, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef116
TITLE: A model theory for paraconsistent logic programming
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus117
TITLE: Belief revision in non-monotonic reasoning
AUTHORS: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus118
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
Scopus119
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
120
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 CrossRef