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: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827
INDEXADO EM: DBLP CrossRef: 2
NO MEU: DBLP
12
TÍTULO: Inheritance in a Hierarchy of Theories
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
13
TÍTULO: Representation and Inference with Consistent Temporal Propositions
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1993, FONTE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
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
NO MEU: DBLP
15
TÍTULO: The AbstrAct Scheme for Concurrent Programming
AUTORES: António Porto ; Paulo Rosado;
PUBLICAÇÃO: 1992, FONTE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
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: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
20
TÍTULO: REASONING WITH MAXIMAL TIME INTERVALS
AUTORES: RIBEIRO, C ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ResearcherID | DBLP
Página 2 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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