11
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Unpublished, PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
12
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
TYPE: Proceedings, PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: DBLP
IN MY: ORCID | DBLP
14
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
TYPE: Editorial Material, PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
15
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
16
TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Article, 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: WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
17
TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTHORS: Ricardo Goncalves; Miguel Areias ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
18
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
19
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
20
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017 in Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, VOLUME: 10137
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 2 of 11. Total results: 104.