Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 232



191
TÍTULO: Design for AKL with Intelligent Pruning
AUTORES: Salvador Abreu ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1993, FONTE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
192
TÍTULO: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTORES: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
193
TÍTULO: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTORES: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLICAÇÃO: 1993, FONTE: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
194
TÍTULO: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING  Full Text
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 2-4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
195
TÍTULO: OPTATIVE REASONING WITH SCENARIO SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
196
TÍTULO: REMOTE LEARNING AND TRAINING SERVICES FOR ELDERLY AND DISABLED PEOPLE
AUTORES: DAROCHA, NP ; PEREIRA, LM ; CIDADE, C;
PUBLICAÇÃO: 1993, FONTE: IFIP TC3 3rd Teleteaching Conference (TeleTeaching 93) in TELETEACHING, VOLUME: 29, NÚMERO: A-29
INDEXADO EM: Scopus WOS
197
TÍTULO: SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS
AUTORES: ALFERES, JJ ; DUNG, PM; PEREIRA, LM ;
PUBLICAÇÃO: 1993, FONTE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
198
TÍTULO: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
199
TÍTULO: Contradiction Removal Semantics with Explicit Negation
AUTORES: Luís Moniz Pereira ; José Júlio Alferes ; Joaquim Nunes Aparício;
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
200
TÍTULO: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 633
INDEXADO EM: WOS
Página 20 de 24. Total de resultados: 232.

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

Links Úteis

Ajuda

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