José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



21
TÍTULO: A Proposal for Transactions in the Semantic Web  Full Text
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
22
TÍTULO: Evolving logic programs with temporal operators
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
23
TÍTULO: Evolving reactive logic programs
AUTORES: José Júlio Alferes ; Federico Banti; Antonio Brogi;
PUBLICAÇÃO: 2011, FONTE: Intelligenza Artificiale, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
24
TÍTULO: Local closed world reasoning with description logics under the well-founded semantics  Full Text
AUTORES: Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler;
PUBLICAÇÃO: 2011, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, NÚMERO: 9-10
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
25
TÍTULO: Parametrized Equilibrium Logic  Full Text
AUTORES: Ricardo Goncalves; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
26
TÍTULO: Parametrized Equilibrium Logic
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
27
TÍTULO: Querying OWL 2 QL and Non-monotonic Rules
AUTORES: Matthias Knorr ; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
28
TÍTULO: Transaction Logic with External Actions  Full Text
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
29
TÍTULO: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTORES: Carlos Viegas Damasio ; Jose Julio Alferes ; Joao Leite ;
PUBLICAÇÃO: 2010, FONTE: 9th International Semantic Web Conference in SEMANTIC WEB-ISWC 2010, PT I, VOLUME: 6496, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
30
TÍTULO: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
Página 3 de 17. Total de resultados: 162.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service