José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



131
TÍTULO: COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1991, FONTE: INTERNATIONAL SYMP ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE 1991 INTERNATIONAL SYMPOSIUM
INDEXADO EM: WOS DBLP
132
TÍTULO: Derivation Procedures for Extended Stable Models
AUTORES: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLICAÇÃO: 1991, FONTE: IJCAI
INDEXADO EM: DBLP
133
TÍTULO: HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
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
134
TÍTULO: NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONF ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
INDEXADO EM: Scopus WOS DBLP
135
TÍTULO: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS
NO MEU: ResearcherID
136
TÍTULO: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 14 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