|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 17 keywords
|
|
|
|
|
Results
Found 57 publication records. Showing 57 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rui Vieira, Ricardo Rocha, Fernando M. A. Silva |
Or-parallel prolog execution on multicores based on stack splitting.  |
DAMP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha |
Single Time-Stamped Tries for Retroactive Call Subsumption |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Luís Damas, Ricardo Rocha |
The YAP Prolog System |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha |
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | João Raimundo, Ricardo Rocha |
Global Trie for Subterms |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the implementation of the probabilistic logic programming language ProbLog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
On combining linear-based strategies for tabled evaluation of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha |
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Raimundo, Ricardo Rocha |
A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. |
EPIA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, John Launchbury (eds.) |
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the Implementation of the Probabilistic Logic Programming Language ProbLog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha |
Threads and Or-Parallelism Unified |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Julia Andreeva, Max Boehm, Benjamin Gaidioz, Edward Karavakis, Lukasz Kokoszkiewicz, Elisa Lanciotti, Gerhild Maier, William Ollivier, Ricardo Rocha, Pablo Saiz, Irina Sidorova |
Experiment Dashboard for Monitoring Computing Activities of the LHC Virtual Organizations. |
J. Grid Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha |
Threads and or-parallelism unified. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João Raimundo, Ricardo Rocha |
Compact Lists for Tabled Evaluation. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha |
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva |
Improving the efficiency of inductive logic programming systems. |
Softw., Pract. Exper. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
Deterministic Calls and Answers, Implementation, Tabling |
| 1 | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
High Level Thread-Based Competitive Or-Parallelism in Logtalk. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
speculative threading, implementation, Or-parallelism |
| 1 | Jorge Costa, Ricardo Rocha |
One Table Fits All. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
| 1 | Jorge Costa, João Raimundo, Ricardo Rocha |
A Term-Based Global Trie for Tabled Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
| 1 | Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa |
Compile the Hypothesis Space: Do it Once, Use it Often. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Miguel Branco, Ed Zaluska, David De Roure, Pedro Salgado, Vincent Garonne, Mario Lassnig, Ricardo Rocha |
Managing Very-Large Distributed Datasets. |
OTM Conferences |
2008 |
DBLP DOI BibTeX RDF |
Distributed Systems, Grid Computing, Data Management, Data Grids, Datasets |
| 1 | Jorge Costa, Ricardo Rocha |
Global Storing Mechanisms for Tabled Evaluation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
On the Efficient Execution of ProbLog Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
Thread-Based Competitive Or-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha |
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Cláudio Silva, Ricardo Lopes |
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa |
ILP : - Just Trie It. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
Mode Directed Inverse Entailment, Data Structures, Efficiency |
| 1 | Pedro Costa, Ricardo Rocha, Michel Ferreira |
Relational Models for Tabling Logic Programs in a Database. |
INAP/WLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Gama, Ricardo Fernandes, Ricardo Rocha |
Decision trees for mining data streams. |
Intell. Data Anal. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tiago Soares, Ricardo Rocha, Michel Ferreira |
Generic Cut Actions for External Prolog Predicates. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Prolog Systems Implementation, External Modules, Pruning |
| 1 | Cláudio Silva, Ricardo Rocha, Ricardo Lopes |
An External Module for Implementing Linear Tabling in Prolog. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha |
Handling Incomplete and Complete Tables in Tabled Logic Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares |
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
Performance, Implementation, Deductive Databases |
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On Applying Or-Parallelism and Tabling to Logic Programs. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ferreira, Ricardo Rocha |
Coupling OPTYAP with a database system. |
IADIS AC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa |
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa |
On Applying Tabling to Inductive Logic Programming. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Concurrent Table Accesses in Parallel Tabled Logic Programs. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Speculative Computations in Or-Parallel Tabled Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | João Gama, Pedro Medas, Ricardo Rocha |
Forest trees for on-line data. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Hybrid Forest of Trees, data streams |
| 1 | Michel Ferreira, Ricardo Rocha |
The MyYapDB Deductive Database System. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On Applying Or-Parallelism and Tabling to Logic Programs |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Rolando Martins |
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
Stack Splitting, Or-Parallelism, Parallel Logic Programming |
| 1 | Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva |
Efficient Data Structures for Inductive Logic Programming. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | João Gama, Ricardo Rocha, Pedro Medas |
Accurate decision trees for mining high-speed data streams. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
functional leaves, incremental decision trees, data streams |
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Achieving Scalability in Parallel Tabled Logic Programs. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
Tabling, Parallel Logic Programming |
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On a Tabling Engine That Can Exploit Or-Parallelism. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
Tabling, Or-Parallelism, Parallel Logic Programming |
| 1 | Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva |
Novel Models for Or-Parallel Logic Programs: A Performance Analysis. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
YapOr: an Or-Parallel Prolog System Based on Environment Copying. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Or-Parallelism within Tabling. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Tabling, Or-Parallelism, Parallel Logic Programming |
Displaying result #1 - #57 of 57 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")