Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 112



91
TITLE: Efficient and scalable induction of logic programs using a deductive database system  Full Text
AUTHORS: Michel Ferreira ; Nuno A Fonseca ; Ricardo Rocha ; Tiago Scares;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
92
TITLE: On applying program transformation to implement suspension-based tabling in Prolog
AUTHORS: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
93
TITLE: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation  Full Text
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
94
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 | CIÊNCIAVITAE
95
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 | CIÊNCIAVITAE
96
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 | CIÊNCIAVITAE
97
98
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 | CIÊNCIAVITAE
99
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: 7
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
100
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 | CIÊNCIAVITAE
Page 10 of 12. Total results: 112.

footer slogan

Useful Links

Get Help

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