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: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827
INDEXED IN: DBLP CrossRef: 2
IN MY: DBLP
12
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
13
TITLE: Representation and Inference with Consistent Temporal Propositions
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXED IN: DBLP CrossRef
IN MY: DBLP
14
TITLE: Temporal Inference with a Point Based Interval Algebra
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: The AbstrAct Scheme for Concurrent Programming
AUTHORS: António Porto ; Paulo Rosado;
PUBLISHED: 1992, SOURCE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
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: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
20
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ResearcherID | DBLP
Page 2 of 4. Total results: 36.

A place for researchers and their institutions

Useful Links

Get Help

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