José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 134



91
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
NO MEU: DBLP
92
TÍTULO: Special issue - Logics for artificial intelligence - Preface
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
93
TÍTULO: Tabling Abduction
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD
INDEXADO EM: DBLP
NO MEU: DBLP
94
TÍTULO: Update-programs can update programs
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216
INDEXADO EM: WOS DBLP CrossRef: 15
NO MEU: DBLP
95
TÍTULO: Vivid Agents Arguing about Distributed Extended Logic Programs
AUTORES: Michael Schroeder; Iara de Almeida Móra; José Júlio Alferes ;
PUBLICAÇÃO: 1997, FONTE: EPIA, VOLUME: 1323
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: DBLP
96
TÍTULO: Belief Revision in Non-Monotonic Reasoning and Logic Programming
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1996, FONTE: Fundam. Informaticae, VOLUME: 28, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
97
98
TÍTULO: Reasoning with Logic Programming
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science, VOLUME: 1111
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
99
TÍTULO: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: DBLP
100
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
Página 10 de 14. Total de resultados: 134.

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