Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



91
TITLE: An external module for implementing linear tabling in prolog (Extended abstract)
AUTHORS: Claudio Silva; Ricardo Rocha ; Ricardo Lopes ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
92
TITLE: Generic cut actions for external Prolog predicates  Full Text
AUTHORS: Soares, T; Rocha, R ; Ferreira, M ;
PUBLISHED: 2006, SOURCE: 8th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3819
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP
93
TITLE: Handling incomplete and complete tables in tabled logic programs (Extended abstract)
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
94
95
TITLE: Coupling OPTYAP with a database system
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes
INDEXED IN: DBLP
IN MY: ORCID | DBLP
96
TITLE: Dynamic mixed-strategy evaluation of tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP
97
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
98
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: 27
IN MY: ORCID | ResearcherID | DBLP
99
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
100
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
Page 10 of 11. Total results: 109.

A place for researchers and their institutions

Useful Links

Get Help

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