Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 112



101
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
102
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
103
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
104
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
105
TITLE: The MyYapDB deductive database system
AUTHORS: Ferreira, M ; Rocha, R ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
106
TITLE: Efficient data structures for inductive logic programming
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
107
TITLE: YapDss: An Or-parallel prolog system for scalable Beowulf clusters  Full Text
AUTHORS: Rocha, R ; Silva, F ; Martins, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
108
TITLE: Achieving Scalability in Parallel Tabled Logic Programs
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2002, SOURCE: 16th International Parallel and Distributed Processing Symposium, IPDPS 2002 in 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
109
TITLE: On a Tabling Engine That Can Exploit Or-Parallelism
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2001, SOURCE: 17th International Conference on Logic Programming, ICLP 2001 in Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2237
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
110
TITLE: Novel models for or-parallel logic programs: A performance analysis
AUTHORS: Costa, VS ; Rocha, R ; Silva, F ;
PUBLISHED: 2000, SOURCE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 11 of 12. Total results: 112.

footer slogan

Useful Links

Get Help

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