José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 135



111
TÍTULO: Contradiction: When Avoidance Equals Removal - Part I
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1993, FONTE: ELP, VOLUME: 798 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: DBLP
112
TÍTULO: Contradiction: When Avoidance Equals Removal - Part II
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1993, FONTE: ELP, VOLUME: 798 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: DBLP
113
TÍTULO: Debugging by Diagnosing Assumptions
AUTORES: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLICAÇÃO: 1993, FONTE: AADEBUG, VOLUME: 749 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: DBLP
114
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: DBLP
115
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: EPIA, VOLUME: 727 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: DBLP
116
TÍTULO: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING
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 CrossRef: 28
NO MEU: DBLP
117
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
INDEXADO EM: WOS DBLP
NO MEU: DBLP
118
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: DBLP
119
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: DBLP
120
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: Logic at Work
INDEXADO EM: DBLP CrossRef: 4
NO MEU: DBLP
Página 12 de 14. Total de resultados: 135.

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

Links Úteis

Ajuda

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