Maria Cristina de Carvalho Alves Ribeiro


AuthID: R-000-ASQ

Publicações Confirmadas: 127



121
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: ORCID | DBLP | CIÊNCIAVITAE
122
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: ORCID | DBLP | CIÊNCIAVITAE
123
TÍTULO: CONFERENCE REPORT ON PDK91 - INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE
AUTORES: RIBEIRO, C ;
PUBLICAÇÃO: 1992, FONTE: SIGPLAN NOTICES, VOLUME: 27, NÚMERO: 2
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
124
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: ORCID | DBLP | CIÊNCIAVITAE
125
TÍTULO: INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE - CONFERENCE REPORT
AUTORES: RIBEIRO, C ;
PUBLICAÇÃO: 1991, FONTE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, NÚMERO: 6
INDEXADO EM: WOS
NO MEU: ORCID | ResearcherID
126
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: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
127
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: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 13 de 13. Total de resultados: 127.

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