51
TITLE: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTHORS: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
TYPE: Proceedings Paper, PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)
INDEXED IN: Scopus WOS DBLP CrossRef
52
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
TYPE: Article, PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 52
53
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
54
TITLE: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTHORS: Joao Raimundo; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXED IN: Scopus WOS DBLP CrossRef
55
TITLE: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef
56
TITLE: Global Trie for Subterms PDF
AUTHORS: João Raimundo; Ricardo Rocha ;
TYPE: Unpublished, PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3780
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
57
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Rocha, R ; Launchbury, J;
TYPE: Editorial Material, PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXED IN: Scopus
IN MY: ORCID
58
TITLE: On combining linear-based strategies for tabled evaluation of logic programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
59
TITLE: On the implementation of the probabilistic logic programming language ProbLog
AUTHORS: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2011, SOURCE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 58
Page 6 of 11. Total results: 104.