Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



21
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Rocha, R ; Son, TC;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
22
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: ILP, VOLUME: 10759 LNAI
INDEXED IN: Scopus DBLP CrossRef: 3
23
TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 4
24
TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
AUTHORS: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
25
26
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
INDEXED IN: Scopus DBLP
27
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: PADL, VOLUME: 10137 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
28
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 11
29
TITLE: Declarative Coordination of Graph-based Parallel Programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 3
30
TITLE: Estimation-Based Search Space Traversal in PILP Environments
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: ILP, VOLUME: 10326 LNAI
INDEXED IN: Scopus DBLP CrossRef: 2
Page 3 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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