Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



71
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
72
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
73
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
74
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
75
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
76
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
77
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
78
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
79
TITLE: One Table Fits All  Full Text
AUTHORS: Jorge Costa; Ricardo Rocha ;
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: 2
IN MY: ORCID | ResearcherID | DBLP
80
TITLE: Relational Models for Tabling Logic Programs in a Database  Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
Page 8 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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