José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



11
TITLE: Deontic logic programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Equivalence of defeasible normative systems
AUTHORS: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLISHED: 2013, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 23, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Extending Transaction Logic with External Actions PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: TPLP, VOLUME: 13, ISSUE: 4-5-Online-Supplement
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: External Transaction Logic with Automatic Compensations
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
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
IN MY: ORCID | DBLP
15
TITLE: Forgetting under the Well-Founded Semantics
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Kewen Wang;
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
IN MY: ORCID | DBLP
16
TITLE: Query-Driven Procedures for Hybrid MKNF Knowledge Bases  Full Text
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
17
TITLE: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
18
TITLE: An embedding of input-output logic in deontic logic programs
AUTHORS: Goncalves, R; Alferes, JJ ;
PUBLISHED: 2012, SOURCE: 11th International Conference on Deontic Logic in Computer Science, DEON 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7393 LNAI
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
19
TITLE: Specifying and reasoning about normative systems in deontic logic programming
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2012, SOURCE: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes)
INDEXED IN: DBLP
IN MY: DBLP
20
TITLE: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1103.3949
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 2 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