José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



1
2
TÍTULO: A Procedure for an Event-Condition-Transaction Language
AUTORES: Gomes, AS; Alferes, JJ ;
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: 1
3
TÍTULO: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTORES: Gomes, AS; Alferes, JJ ;
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
4
TÍTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: Gomes, AS; Alferes, JJ ; Swift, T;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
5
TÍTULO: Preserving Strong Equivalence while Forgetting
AUTORES: Knorr, M; Alferes, JJ ;
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 DBLP CrossRef: 14
6
TÍTULO: Decidability and Implementation of Parametrized Logic Programs
AUTORES: Gonçalves, R; Alferes, JJ ;
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 CrossRef
7
TÍTULO: Deontic logic programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: AAMAS
INDEXADO EM: DBLP
8
TÍTULO: Equivalence of defeasible normative systems
AUTORES: José Júlio Alferes ; Ricardo Gonçalves; João Leite ;
PUBLICAÇÃO: 2013, FONTE: J. Appl. Non Class. Logics, VOLUME: 23, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef: 5
9
TÍTULO: Extending Transaction Logic with External Actions
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: Theory Pract. Log. Program., VOLUME: 13, NÚMERO: 4-5-Online-Supplement
INDEXADO EM: DBLP
10
TÍTULO: External Transaction Logic with Automatic Compensations
AUTORES: Gomes, AS; Alferes, JJ ;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
Página 1 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