Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 112



71
TÍTULO: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
72
TÍTULO: Compact Lists for Tabled Evaluation
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
73
TÍTULO: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
74
TÍTULO: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
75
TÍTULO: Threads and or-parallelism unified
AUTORES: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, NÚMERO: 4-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
76
TÍTULO: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTORES: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TÍTULO: High Level Thread-Based Competitive Or-Parallelism in Logtalk  Full Text
AUTORES: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
78
TÍTULO: Improving the efficiency of inductive logic programming systems  Full Text
AUTORES: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLICAÇÃO: 2009, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
79
TÍTULO: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction  Full Text
AUTORES: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLICAÇÃO: 2009, FONTE: MITOCHONDRION, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
80
TÍTULO: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 8 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