José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



11
TÍTULO: Deontic logic programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013
INDEXADO EM: DBLP
NO MEU: DBLP
12
TÍTULO: Equivalence of defeasible normative systems
AUTORES: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLICAÇÃO: 2013, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 23, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Extending Transaction Logic with External Actions PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: TPLP, VOLUME: 13, NÚMERO: 4-5-Online-Supplement
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: External Transaction Logic with Automatic Compensations
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: Forgetting under the Well-Founded Semantics
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Kewen Wang;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
16
TÍTULO: Query-Driven Procedures for Hybrid MKNF Knowledge Bases  Full Text
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
17
TÍTULO: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
18
TÍTULO: An embedding of input-output logic in deontic logic programs
AUTORES: Goncalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
19
TÍTULO: Specifying and reasoning about normative systems in deontic logic programming
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes)
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1103.3949
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 2 de 17. Total de resultados: 162.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service