Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 232



201
TÍTULO: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: 3RD EUROPEAN WORKSHOP ON LOGICS IN AI ( JELIA 92 ) in LOGICS IN AI, VOLUME: 633
INDEXADO EM: WOS DBLP
NO MEU: DBLP
202
TÍTULO: DELTA PROLOG ON DISTRIBUTED-MEMORY MULTIPROCESSORS
AUTORES: CUNHA, JC; MEDEIROS, PD; CARVALHOSA, MB; PEREIRA, LM ;
PUBLICAÇÃO: 1992, FONTE: EUROPEAN WORKSHOP ON PARALLEL COMPUTING ( EWPC 92 ) in PARALLEL COMPUTING : FROM THEORY TO SOUND PRACTICE
INDEXADO EM: WOS
NO MEU: ResearcherID
203
TÍTULO: Improving Backward Execution in the Andorra Family of Languages
AUTORES: Salvador Abreu ; Luís Moniz Pereira ; Philippe Codognet;
PUBLICAÇÃO: 1992, FONTE: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
INDEXADO EM: DBLP
NO MEU: DBLP
204
TÍTULO: Logic Programming for Non-Monotonic Reasoning
AUTORES: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLICAÇÃO: 1992, FONTE: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
205
TÍTULO: On Logic Program Semantics with Two Kinds of Negation
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1992, FONTE: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
INDEXADO EM: DBLP
NO MEU: DBLP
206
TÍTULO: SLWV - A Theorem Prover for Logic Programming
AUTORES: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLICAÇÃO: 1992, FONTE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
207
TÍTULO: WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION
AUTORES: PEREIRA, LM ; ALFERES, JJ ;
PUBLICAÇÃO: 1992, FONTE: 10TH EUROPEAN CONF ON ARTIFICIAL INTELLIGENCE ( ECAI-92 ) in ECAI 92 - 10TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE : PROCEEDINGS
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
208
TÍTULO: 5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE
AUTORES: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS DBLP
NO MEU: DBLP
209
TÍTULO: A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, J ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
210
TÍTULO: CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: 1ST INTERNATIONAL WORKSHOP ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
Página 21 de 24. Total de resultados: 232.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service