José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 136



21
TÍTULO: Transaction Logic with External Actions
AUTORES: Gomes, AS; 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: 2
22
TÍTULO: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTORES: Damásio, CV ; Alferes, JJ ; Leite, J ;
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: 7
23
TÍTULO: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTORES: Gomes, AS; Alferes, JJ ; Swift, T;
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: 9
24
TÍTULO: Parametrized Logic Programming
AUTORES: Gonçalves, R ; Alferes, JJ ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef
25
TÍTULO: Querying in EL+ with Nonmonotonic Rules
AUTORES: Knorr, M ; Alferes, JJ ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS DBLP
26
TÍTULO: A Logic Programming System for Evolving Programs with Temporal Operators
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS DBLP CrossRef
27
TÍTULO: An architecture for Idea Generation in Smart Meeting Rooms
AUTORES: Carlos Filipe Freitas; Carlos Ramos ; José Júlio Alferes ;
PUBLICAÇÃO: 2009, FONTE: Ambient Intelligence Perspectives II - Selected Papers from the 2nd International Ambient Intelligence Forum 2009, AmIF 2009 in AMIF, VOLUME: 5
INDEXADO EM: Scopus DBLP CrossRef
28
TÍTULO: Evolution and Reactivity in the Semantic Web
AUTORES: José Júlio Alferes ; Michael Eckert; Wolfgang May;
PUBLICAÇÃO: 2009, FONTE: REWERSE, VOLUME: 5500 LNCS
INDEXADO EM: Scopus DBLP CrossRef
29
TÍTULO: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTORES: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2009, FONTE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
30
TÍTULO: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTORES: Alferes, JJ ; Knorr, M ; Swift, T;
PUBLICAÇÃO: 2009, FONTE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
Página 3 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