José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 136



1
2
TITLE: A Procedure for an Event-Condition-Transaction Language
AUTHORS: Gomes, AS; Alferes, JJ ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Web Reasoning and Rule Systems (RR) in WEB REASONING AND RULE SYSTEMS, VOLUME: 9209
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3
TITLE: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTHORS: Gomes, AS; Alferes, JJ ;
PUBLISHED: 2015, SOURCE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202
INDEXED IN: Scopus WOS DBLP CrossRef
4
TITLE: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTHORS: Gomes, AS; Alferes, JJ ; Swift, T;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Preserving Strong Equivalence while Forgetting
AUTHORS: Knorr, M; Alferes, JJ ;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
INDEXED IN: Scopus WOS DBLP CrossRef: 14
6
TITLE: Decidability and Implementation of Parametrized Logic Programs
AUTHORS: Gonçalves, R; Alferes, JJ ;
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
7
TITLE: Deontic logic programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: AAMAS
INDEXED IN: DBLP
8
TITLE: Equivalence of defeasible normative systems
AUTHORS: José Júlio Alferes ; Ricardo Gonçalves; João Leite ;
PUBLISHED: 2013, SOURCE: J. Appl. Non Class. Logics, VOLUME: 23, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef: 5
9
TITLE: Extending Transaction Logic with External Actions
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: Theory Pract. Log. Program., VOLUME: 13, ISSUE: 4-5-Online-Supplement
INDEXED IN: DBLP
10
TITLE: External Transaction Logic with Automatic Compensations
AUTHORS: Gomes, AS; Alferes, JJ ;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 1 of 14. Total results: 136.

footer slogan

Useful Links

Get Help

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