Ricardo Rocha
Ricardo Rocha
Computer Science Department, University of Porto
Vahvistettu sähköpostiosoite verkkotunnuksessa dcc.fc.up.pt - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
On the implementation of the probabilistic logic programming language ProbLog
A Kimmig, B Demoen, L De Raedt, VS Costa, R Rocha
Theory and Practice of Logic Programming 11 (2-3), 235-262, 2011
1802011
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
1722011
The diversity present in 5140 human mitochondrial genomes
L Pereira, F Freitas, V Fernandes, JB Pereira, MD Costa, S Costa, ...
The American Journal of Human Genetics 84 (5), 628-640, 2009
1392009
On the efficient execution of ProbLog programs
A Kimmig, VS Costa, R Rocha, B Demoen, L De Raedt
International Conference on Logic Programming, 175-189, 2008
712008
On applying or-parallelism and tabling to logic programs
R Rocha, F Silva, VS Costa
Theory and Practice of Logic Programming 5 (1-2), 161-205, 2005
652005
YapTab: A tabling engine designed to support parallelism
R Rocha, F Silva, V Santos Costa
Conference on Tabulation in Parsing and Deduction 7787, 2000
652000
Towards digesting the alphabet-soup of statistical relational learning
L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ...
NIPS* 2008 Workshop Probabilistic Programming, Date: 2008/12/13-2008/12/13 …, 2008
532008
Yapor: an or-parallel prolog system based on environment copying
R Rocha, F Silva, VS Costa
Portuguese Conference on Artificial Intelligence, 178-192, 1999
531999
Functional recovery of Amazonian bat assemblages following secondary forest succession
FZ Farneda, R Rocha, A López-Baucells, EM Sampaio, JM Palmeirim, ...
Biological Conservation 218, 192-199, 2018
352018
On a tabling engine that can exploit or-parallelism
R Rocha, F Silva, VS Costa
International Conference on Logic Programming, 43-58, 2001
302001
An improved continuation call-based implementation of tabling
PC De Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 197-213, 2008
272008
On applying tabling to inductive logic programming
R Rocha, N Fonseca, VS Costa
European Conference on Machine Learning, 707-714, 2005
242005
Dynamic mixed-strategy evaluation of tabled logic programs
R Rocha, F Silva, VS Costa
International Conference on Logic Programming, 250-264, 2005
222005
Efficient data structures for inductive logic programming
N Fonseca, R Rocha, R Camacho, F Silva
International Conference on Inductive Logic Programming, 130-145, 2003
192003
A simple and efficient lock-free hash trie design for concurrent tabling
M Areias, R Rocha
arXiv preprint arXiv:1405.2850, 2014
172014
A linear logic programming language for concurrent programming over graph structures
F Cruz, R Rocha, SC Goldstein, F Pfenning
arXiv preprint arXiv:1405.3556, 2014
162014
A lock-free hash trie design for concurrent tabled logic programs
M Areias, R Rocha
International Journal of Parallel Programming 44 (3), 386-406, 2016
152016
A global database for metacommunity ecology, integrating species, traits, environment and space
A Jeliazkov, D Mijatovic, S Chantepie, N Andrew, R Arlettaz, L Barbaro, ...
Scientific data 7 (1), 1-15, 2020
142020
On improving the efficiency and robustness of table storage mechanisms for tabled evaluation
R Rocha
International Symposium on Practical Aspects of Declarative Languages, 155-169, 2007
142007
Or-parallelism within tabling
R Rocha, F Silva, VS Costa
International Symposium on Practical Aspects of Declarative Languages, 137-151, 1999
141999
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20