61
TITLE: 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
62
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
TYPE: Unpublished, PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
63
TITLE: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXED IN: Scopus WOS DBLP CrossRef
64
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Joao Raimundo; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXED IN: Scopus WOS DBLP CrossRef: 1
65
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
TYPE: Proceedings Paper, PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef: 3
66
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef: 3
67
TITLE: Threads and or-parallelism unified
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
INDEXED IN: Scopus WOS DBLP CrossRef: 3
68
TITLE: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTHORS: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXED IN: Scopus WOS DBLP CrossRef: 2
69
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk  Full Text
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
TYPE: Proceedings Paper, PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXED IN: Scopus WOS DBLP CrossRef: 1
70
TITLE: Improving the efficiency of inductive logic programming systems  Full Text
AUTHORS: Nuno A Fonseca ; Vitor Santos Costa ; Ricardo Rocha ; Rui Camacho ; Fernando Silva ;
TYPE: Article, PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 4
Page 7 of 11. Total results: 104.