Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 112



91
TÍTULO: Efficient and scalable induction of logic programs using a deductive database system  Full Text
AUTORES: Michel Ferreira ; Nuno A Fonseca ; Ricardo Rocha ; Tiago Scares;
PUBLICAÇÃO: 2007, FONTE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
92
TÍTULO: On applying program transformation to implement suspension-based tabling in Prolog
AUTORES: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
93
TÍTULO: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation  Full Text
AUTORES: Ricardo Rocha ;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
94
TÍTULO: An external module for implementing linear tabling in prolog (Extended abstract)
AUTORES: Claudio Silva; Ricardo Rocha ; Ricardo Lopes ;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
95
TÍTULO: Generic cut actions for external Prolog predicates  Full Text
AUTORES: Soares, T; Rocha, R ; Ferreira, M ;
PUBLICAÇÃO: 2006, FONTE: 8th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3819
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
96
TÍTULO: Handling incomplete and complete tables in tabled logic programs (Extended abstract)
AUTORES: Ricardo Rocha ;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
97
98
TÍTULO: Coupling OPTYAP with a database system
AUTORES: Michel Ferreira ; Ricardo Rocha ;
PUBLICAÇÃO: 2005, FONTE: AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
99
TÍTULO: Dynamic mixed-strategy evaluation of tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
100
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling
AUTORES: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 10 de 12. Total de resultados: 112.

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