José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 136



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

footer slogan

Useful Links

Get Help

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