José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



1
2
TÍTULO: A Procedure for an Event-Condition-Transaction Language  Full Text
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2015, FONTE: 9th International Conference on Web Reasoning and Rule Systems (RR) in WEB REASONING AND RULE SYSTEMS, VOLUME: 9209
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2015, FONTE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
4
TÍTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
5
TÍTULO: Preserving Strong Equivalence while Forgetting
AUTORES: Matthias Knorr; Jose Julio Alferes ;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
INDEXADO EM: Scopus WOS
NO MEU: ORCID
6
TÍTULO: Preserving Strong Equivalence while Forgetting
AUTORES: Matthias Knorr; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Transaction Logic with (Complex) Events PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.3790
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
8
TÍTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 02
INDEXADO EM: CrossRef
NO MEU: ORCID
9
TÍTULO: Decidability and Implementation of Parametrized Logic Programs
AUTORES: Ricardo Goncalves; Jose Julio Alferes ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
10
TÍTULO: Decidability and Implementation of Parametrized Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 1 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