Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



81
TITLE: An improved continuation call-based implementation of tabling
AUTHORS: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP
82
TITLE: Compile the Hypothesis Space: Do it Once, Use it Often  Full Text
AUTHORS: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
83
TITLE: Global Storing Mechanisms for Tabled Evaluation
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
84
TITLE: ILP - Just Trie it  Full Text
AUTHORS: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP
85
TITLE: k-RNN: k-Relational Nearest Neighbour Algorithm. k-relational nearest neighbour algorithm
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
86
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | ResearcherID | DBLP
87
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
88
TITLE: Efficient and scalable induction of logic programs using a deductive database system  Full Text
AUTHORS: Michel Ferreira ; Nuno A Fonseca ; Ricardo Rocha ; Tiago Scares;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
89
TITLE: On applying program transformation to implement suspension-based tabling in Prolog
AUTHORS: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
90
TITLE: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation  Full Text
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
Page 9 of 11. Total results: 109.

A place for researchers and their institutions

Useful Links

Get Help

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