José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



121
TÍTULO: A logic programming system for nonmonotonic reasoning
AUTORES: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID
122
TÍTULO: An argumentation theoretic semantics based on non-refutable falsity
AUTORES: Júlio Alferes, J ; Moniz Pereira, L ;
PUBLICAÇÃO: 1995, FONTE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
123
TÍTULO: Belief Revision in Non-Monotonic Reasoning
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
124
TÍTULO: Belief revision in non-monotonic reasoning
AUTORES: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: Scopus
NO MEU: ORCID
125
TÍTULO: Belief, provability, and logic programs
AUTORES: Alferes, JJ ; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
126
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
127
TÍTULO: Modelling Diagnosis Systems with the Logic Programming
AUTORES: Iara de Almeida Móra; José Júlio Alferes ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
128
TÍTULO: Modelling diagnosis systems with the logic programming
AUTORES: de Almeida Móra, I; Alferes, JJ ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: Scopus
NO MEU: ORCID
129
TÍTULO: Non-Atomic Actions in the Situation Calculus
AUTORES: José Júlio Alferes ; Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
130
TÍTULO: Non-atomic actions in the situation calculus
AUTORES: Alferes, JJ ; Li, R; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: Scopus
NO MEU: ORCID
Página 13 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