2009 |
35 | EE | Paulo Moura,
Ricardo Rocha,
Sara C. Madeira:
High Level Thread-Based Competitive Or-Parallelism in Logtalk.
PADL 2009: 107-121 |
34 | EE | Jorge Costa,
Ricardo Rocha:
One Table Fits All.
PADL 2009: 195-208 |
33 | EE | Nuno A. Fonseca,
Vítor Santos Costa,
Ricardo Rocha,
Rui Camacho,
Fernando Silva:
Improving the efficiency of inductive logic programming systems.
Softw., Pract. Exper. 39(2): 189-219 (2009) |
2008 |
32 | EE | Angelika Kimmig,
Vítor Santos Costa,
Ricardo Rocha,
Bart Demoen,
Luc De Raedt:
On the Efficient Execution of ProbLog Programs.
ICLP 2008: 175-189 |
31 | EE | Jorge Costa,
Ricardo Rocha:
Global Storing Mechanisms for Tabled Evaluation.
ICLP 2008: 708-712 |
30 | EE | Paulo Moura,
Ricardo Rocha,
Sara C. Madeira:
Thread-Based Competitive Or-Parallelism.
ICLP 2008: 713-717 |
29 | EE | Miguel Branco,
Ed Zaluska,
David De Roure,
Pedro Salgado,
Vincent Garonne,
Mario Lassnig,
Ricardo Rocha:
Managing Very-Large Distributed Datasets.
OTM Conferences (1) 2008: 775-792 |
28 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo,
Cláudio Silva,
Ricardo Rocha:
An Improved Continuation Call-Based Implementation of Tabling.
PADL 2008: 197-213 |
27 | EE | Nuno A. Fonseca,
Rui Camacho,
Ricardo Rocha,
Vítor Santos Costa:
Compile the Hypothesis Space: Do it Once, Use it Often.
Fundam. Inform. 89(1): 45-67 (2008) |
2007 |
26 | EE | Ricardo Rocha,
Cláudio Silva,
Ricardo Lopes:
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.
ICLP 2007: 444-445 |
25 | EE | Rui Camacho,
Nuno A. Fonseca,
Ricardo Rocha,
Vítor Santos Costa:
ILP : - Just Trie It.
ILP 2007: 78-87 |
24 | EE | Ricardo Rocha:
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.
PADL 2007: 155-169 |
2006 |
23 | EE | Ricardo Rocha:
Handling Incomplete and Complete Tables in Tabled Logic Programs.
ICLP 2006: 427-428 |
22 | EE | Cláudio Silva,
Ricardo Rocha,
Ricardo Lopes:
An External Module for Implementing Linear Tabling in Prolog.
ICLP 2006: 429-430 |
21 | EE | Michel Ferreira,
Nuno A. Fonseca,
Ricardo Rocha,
Tiago Soares:
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System.
ILP 2006: 184-198 |
20 | EE | Tiago Soares,
Ricardo Rocha,
Michel Ferreira:
Generic Cut Actions for External Prolog Predicates.
PADL 2006: 16-30 |
19 | EE | João Gama,
Ricardo Fernandes,
Ricardo Rocha:
Decision trees for mining data streams.
Intell. Data Anal. 10(1): 23-45 (2006) |
2005 |
18 | EE | Ricardo Rocha,
Nuno A. Fonseca,
Vítor Santos Costa:
On Applying Tabling to Inductive Logic Programming.
ECML 2005: 707-714 |
17 | | Michel Ferreira,
Ricardo Rocha:
Coupling OPTYAP with a database system.
IADIS AC 2005: 107-114 |
16 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.
ICLP 2005: 250-264 |
15 | EE | Ricardo Rocha,
Ricardo Lopes,
Fernando M. A. Silva,
Vítor Santos Costa:
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
ICLP 2005: 416-417 |
14 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs.
TPLP 5(1-2): 161-205 (2005) |
2004 |
13 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Concurrent Table Accesses in Parallel Tabled Logic Programs.
Euro-Par 2004: 662-670 |
12 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Speculative Computations in Or-Parallel Tabled Logic Programs.
ICLP 2004: 254-268 |
11 | EE | Michel Ferreira,
Ricardo Rocha:
The MyYapDB Deductive Database System.
JELIA 2004: 710-713 |
10 | EE | João Gama,
Pedro Medas,
Ricardo Rocha:
Forest trees for on-line data.
SAC 2004: 632-636 |
2003 |
9 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Rolando Martins:
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters.
EPIA 2003: 136-150 |
8 | EE | Nuno A. Fonseca,
Ricardo Rocha,
Rui Camacho,
Fernando M. A. Silva:
Efficient Data Structures for Inductive Logic Programming.
ILP 2003: 130-145 |
7 | EE | João Gama,
Ricardo Rocha,
Pedro Medas:
Accurate decision trees for mining high-speed data streams.
KDD 2003: 523-528 |
6 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs
CoRR cs.LO/0308007: (2003) |
2002 |
5 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Achieving Scalability in Parallel Tabled Logic Programs.
IPDPS 2002 |
2001 |
4 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On a Tabling Engine That Can Exploit Or-Parallelism.
ICLP 2001: 43-58 |
2000 |
3 | EE | Vítor Santos Costa,
Ricardo Rocha,
Fernando M. A. Silva:
Novel Models for Or-Parallel Logic Programs: A Performance Analysis.
Euro-Par 2000: 744-753 |
1999 |
2 | | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
YapOr: an Or-Parallel Prolog System Based on Environment Copying.
EPIA 1999: 178-192 |
1 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Or-Parallelism within Tabling.
PADL 1999: 137-151 |