António Beça Gonçalves Porto


AuthID: R-000-1Y4

Confirmed Publications: 36



11
TITLE: Abduction in Temporal Reasoning
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: ICTL
INDEXED IN: DBLP CrossRef: 2
12
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI
INDEXED IN: Scopus DBLP CrossRef
13
14
TITLE: Temporal Inference with a Point Based Interval Algebra
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI
INDEXED IN: DBLP
15
TITLE: The AbstrAct Scheme for Concurrent Programming
AUTHORS: António Porto ; Paulo Rosado;
PUBLISHED: 1992, SOURCE: ELP
INDEXED IN: DBLP CrossRef: 1
16
TITLE: 5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE
AUTHORS: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS DBLP
IN MY: DBLP
17
TITLE: EPIA 91: 5th portuguese conference on artificial intelligence Albufeira, Portugal, October 1-3, 1991 proceedings
AUTHORS: Pereira, LM; Porto, A ; Barahona, P;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: Scopus
18
TITLE: Logic Programming Environments
AUTHORS: António Porto ;
PUBLISHED: 1991, SOURCE: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991
INDEXED IN: DBLP
IN MY: DBLP
19
TITLE: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: Scopus WOS DBLP CrossRef: 2
20
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567
INDEXED IN: Scopus WOS DBLP CrossRef
Page 2 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service