Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 112



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

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service