Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 112



61
TÍTULO: Towards multi-threaded local tabling using a common table space
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
62
TÍTULO: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
63
TÍTULO: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
64
TÍTULO: Global Trie for Subterms PDF
AUTORES: João Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3780
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
65
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Rocha, R ; Launchbury, J;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
66
TÍTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
67
TÍTULO: On the implementation of the probabilistic logic programming language ProbLog
AUTORES: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 95
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
68
69
TÍTULO: Preface
AUTORES: Rocha, R ; Launchbury, J;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
70
TÍTULO: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
AUTORES: Flávio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3779
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
Página 7 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