António Beça Gonçalves Porto


AuthID: R-000-1Y4

Publicações Confirmadas: 36



11
TÍTULO: Abduction in Temporal Reasoning
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1994, FONTE: ICTL
INDEXADO EM: DBLP CrossRef: 2
12
TÍTULO: Inheritance in a Hierarchy of Theories
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1993, FONTE: EPIA, VOLUME: 727 LNAI
INDEXADO EM: Scopus DBLP CrossRef
13
TÍTULO: Representation and Inference with Consistent Temporal Propositions
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1993, FONTE: ELP
INDEXADO EM: DBLP CrossRef
14
TÍTULO: Temporal Inference with a Point Based Interval Algebra
AUTORES: António Porto ; Cristina Ribeiro ;
PUBLICAÇÃO: 1992, FONTE: ECAI
INDEXADO EM: DBLP
15
TÍTULO: The AbstrAct Scheme for Concurrent Programming
AUTORES: António Porto ; Paulo Rosado;
PUBLICAÇÃO: 1992, FONTE: ELP
INDEXADO EM: DBLP CrossRef: 1
16
TÍTULO: 5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE
AUTORES: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS DBLP
NO MEU: DBLP
17
TÍTULO: EPIA 91: 5th portuguese conference on artificial intelligence Albufeira, Portugal, October 1-3, 1991 proceedings
AUTORES: Pereira, LM; Porto, A ; Barahona, P;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
INDEXADO EM: Scopus
18
TÍTULO: Logic Programming Environments
AUTORES: António Porto ;
PUBLICAÇÃO: 1991, FONTE: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991
INDEXADO EM: DBLP
NO MEU: DBLP
19
TÍTULO: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTORES: RIBEIRO, C ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
20
TÍTULO: REASONING WITH MAXIMAL TIME INTERVALS
AUTORES: RIBEIRO, C ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 2 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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