José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



11
TÍTULO: Forgetting under the Well-Founded Semantics
AUTORES: Alferes, JJ ; Knorr, M ; Wang, K;
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: 6
12
TÍTULO: Query-Driven Procedures for Hybrid MKNF Knowledge Bases
AUTORES: Alferes, JJ ; Knorr, M ; Swift, T;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
13
TÍTULO: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: DEON, VOLUME: 7393 LNAI
INDEXADO EM: Scopus DBLP CrossRef
14
TÍTULO: Specifying and reasoning about normative systems in deontic logic programming
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: AAMAS
INDEXADO EM: DBLP
15
TÍTULO: A Proposal for Transactions in the Semantic Web
AUTORES: Gomes, AS; Alferes, JJ ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
16
TÍTULO: Evolving Logic Programs with Temporal Operators
AUTORES: José Júlio Alferes ; Alfredo Gabaldon; João Leite ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, VOLUME: 6565 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 1
17
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
18
TÍTULO: Local closed world reasoning with description logics under the well-founded semantics
AUTORES: Knorr, M ; Alferes, JJ ; Hitzler, P;
PUBLICAÇÃO: 2011, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, NÚMERO: 9-10
INDEXADO EM: Scopus WOS DBLP CrossRef: 67
19
TÍTULO: Parametrized Equilibrium Logic
AUTORES: Gonçalves, R; Alferes, JJ ;
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
20
TÍTULO: Querying OWL 2 QL and Non-monotonic Rules
AUTORES: Knorr, M ; Alferes, JJ ;
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: 3
Página 2 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