José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 136



21
TITLE: Transaction Logic with External Actions
AUTHORS: Gomes, AS; Alferes, JJ ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: Scopus WOS DBLP CrossRef: 2
22
TITLE: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTHORS: Damásio, CV ; Alferes, JJ ; Leite, J ;
PUBLISHED: 2010, SOURCE: 9th International Semantic Web Conference in SEMANTIC WEB-ISWC 2010, PT I, VOLUME: 6496, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
23
TITLE: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTHORS: Gomes, AS; Alferes, JJ ; Swift, T;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXED IN: Scopus WOS DBLP CrossRef: 9
24
TITLE: Parametrized Logic Programming
AUTHORS: Gonçalves, R ; Alferes, JJ ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef
25
TITLE: Querying in EL+ with Nonmonotonic Rules
AUTHORS: Knorr, M ; Alferes, JJ ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS DBLP
26
TITLE: A Logic Programming System for Evolving Programs with Temporal Operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS DBLP CrossRef
27
TITLE: An architecture for Idea Generation in Smart Meeting Rooms
AUTHORS: Carlos Filipe Freitas; Carlos Ramos ; José Júlio Alferes ;
PUBLISHED: 2009, SOURCE: Ambient Intelligence Perspectives II - Selected Papers from the 2nd International Ambient Intelligence Forum 2009, AmIF 2009 in AMIF, VOLUME: 5
INDEXED IN: Scopus DBLP CrossRef
28
TITLE: Evolution and Reactivity in the Semantic Web
AUTHORS: José Júlio Alferes ; Michael Eckert; Wolfgang May;
PUBLISHED: 2009, SOURCE: REWERSE, VOLUME: 5500 LNCS
INDEXED IN: Scopus DBLP CrossRef
29
TITLE: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTHORS: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642
INDEXED IN: Scopus WOS DBLP CrossRef: 19
30
TITLE: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTHORS: Alferes, JJ ; Knorr, M ; Swift, T;
PUBLISHED: 2009, SOURCE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXED IN: Scopus WOS DBLP CrossRef: 9
Page 3 of 14. Total results: 136.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service