José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 135



101
TÍTULO: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTORES: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: DBLP
102
TÍTULO: Belief Revision in Non-Monotonic Reasoning
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: DBLP
103
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: J. Appl. Non Class. Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: DBLP
104
TÍTULO: Modelling Diagnosis Systems with the Logic Programming
AUTORES: Iara de Almeida Móra; José Júlio Alferes ;
PUBLICAÇÃO: 1995, FONTE: EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
105
TÍTULO: Non-Atomic Actions in the Situation Calculus
AUTORES: José Júlio Alferes ; Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
106
TÍTULO: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1994, FONTE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in THEORETICAL COMPUTER SCIENCE, VOLUME: 122, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
107
TÍTULO: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: NMELP, VOLUME: 927
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: DBLP
108
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: JELIA, VOLUME: 838 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
109
TÍTULO: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION
AUTORES: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLICAÇÃO: 1994, FONTE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
NO MEU: DBLP
110
Página 11 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