José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



51
TÍTULO: The Refined Extension Principle for Semantics of Dynamic Logic Programming
AUTORES: José Júlio Alferes ; Federico Banti; Antonio Brogi; João Alexandre Leite ;
PUBLICAÇÃO: 2005, FONTE: Stud Logica, VOLUME: 79, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 37
52
TÍTULO: The well supported semantics for multidimensional dynamic logic programs
AUTORES: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
53
TÍTULO: Abduction in well-founded semantics and generalized stable models via tabled dual programs
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXADO EM: WOS DBLP
54
TÍTULO: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: Theory Pract. Log. Program., VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 42
55
TÍTULO: Deductive Diagnosis of Digital Circuits
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in AIAI, VOLUME: 154
INDEXADO EM: Scopus DBLP CrossRef: 2
56
TÍTULO: From logic programs updates to action description updates
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
57
58
TÍTULO: Preface
AUTORES: Alferes, JJ ; Leite, J ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence, JELIA 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3229
INDEXADO EM: Scopus
NO MEU: ORCID
59
TÍTULO: Semantics for dynamic logic programming: A principle-based approach
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
60
TÍTULO: Towards generic query, update, and event languages for the semantic web
AUTORES: May, W; Alferes, JJ ; Bry, F;
PUBLICAÇÃO: 2004, FONTE: 2nd International Workshop on Principles and Practice of Semantic Web Reasoning in PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, PROCEEDINGS, VOLUME: 3208
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
Página 6 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