José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



21
TITLE: A Proposal for Transactions in the Semantic Web  Full Text
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Evolving logic programs with temporal operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2011, SOURCE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: Evolving reactive logic programs
AUTHORS: José Júlio Alferes ; Federico Banti; Antonio Brogi;
PUBLISHED: 2011, SOURCE: Intelligenza Artificiale, VOLUME: 5, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
24
TITLE: Local closed world reasoning with description logics under the well-founded semantics  Full Text
AUTHORS: Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 9-10
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
25
TITLE: Parametrized Equilibrium Logic  Full Text
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
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
IN MY: ORCID | DBLP
26
TITLE: Parametrized Equilibrium Logic
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2011, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
27
TITLE: Querying OWL 2 QL and Non-monotonic Rules
AUTHORS: Matthias Knorr ; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
28
TITLE: Transaction Logic with External Actions  Full Text
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
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
IN MY: ORCID | DBLP
29
TITLE: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTHORS: Carlos Viegas Damasio ; Jose Julio Alferes ; Joao Leite ;
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
IN MY: ORCID | ResearcherID | DBLP
30
TITLE: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
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
IN MY: ORCID | ResearcherID | DBLP
Page 3 of 17. Total results: 162.

A place for researchers and their institutions

Useful Links

Get Help

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