José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



121
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
122
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
NO MEU: ResearcherID
123
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: Scopus WOS DBLP CrossRef
124
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: Logic at Work
INDEXADO EM: DBLP CrossRef
125
TÍTULO: On Logic Program Semantics with Two Kinds of Negation
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1992, FONTE: JICSLP
INDEXADO EM: DBLP
126
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: ELP, VOLUME: 660 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 1
127
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
128
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
129
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
130
TÍTULO: Counterfactual reasoning based on revising assumptions
AUTORES: Pereira Luis Moniz; Aparicio Joaquim Nunes; Alferes Jose Julio ;
PUBLICAÇÃO: 1991, FONTE: Logic Programming - Proceedings of the 1991 International Symposium
INDEXADO EM: Scopus
NO MEU: ORCID
Página 13 de 14. Total de resultados: 136.

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