Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



61
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
62
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
63
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
64
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: 86
NO MEU: ORCID | ResearcherID | DBLP
65
66
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
67
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
68
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
69
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
70
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
Página 7 de 11. Total de resultados: 109.

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