Ricardo Rocha
Ricardo Rocha
Computer Science Department, University of Porto
Dirección de correo verificada de dcc.fc.up.pt - Página principal
Título
Citado por
Citado por
Año
On the implementation of the probabilistic logic programming language ProbLog
A Kimmig, B Demoen, L De Raedt, VS Costa, R Rocha
arXiv preprint arXiv:1006.4442, 2010
1712010
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
1652011
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
1312009
BioTIME: A database of biodiversity time series for the Anthropocene
M Dornelas, LH Antao, F Moyes, AE Bates, AE Magurran, D Adam, ...
Global Ecology and Biogeography 27 (7), 760-786, 2018
842018
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
722008
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
On applying or-parallelism and tabling to logic programs
R Rocha, F Silva, VS Costa
arXiv preprint cs/0308007, 2003
642003
Ventas callejeras y espacio público: efectos sobre el comercio de Bogotá
R Rocha, F Sánchez, L García
Revista Desarrollo y Sociedad, 245-268, 2009
572009
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
552008
Yapor: an or-parallel prolog system based on environment copying
R Rocha, F Silva, VS Costa
Portuguese Conference on Artificial Intelligence, 178-192, 1999
521999
Season‐modulated responses of Neotropical bats to forest fragmentation
DF Ferreira, R Rocha, A López‐Baucells, FZ Farneda, JMB Carreiras, ...
Ecology and Evolution 7 (11), 4059-4071, 2017
422017
When bats go viral: negative framings in virological research imperil bat conservation
A López‐Baucells, R Rocha, Á Fernández‐Llamazares
Mammal Review 48 (1), 62-66, 2018
352018
Worldwide insect declines: An important message, but interpret with caution
BI Simmons, A Balmford, AJ Bladon, AP Christie, A De Palma, LV Dicks, ...
Ecology and evolution 9 (7), 3678-3680, 2019
332019
On a tabling engine that can exploit or-parallelism
R Rocha, F Silva, VS Costa
International Conference on Logic Programming, 43-58, 2001
332001
Evaluation of different modelling conditions in the cohesive zone analysis of single-lap bonded joints
RJB Rocha, R Campilho
The Journal of Adhesion 94 (7), 562-582, 2018
322018
Insular bats and research effort: a review of global patterns and priorities
I Conenna, R Rocha, D Russo, M Cabeza
Mammal Review 47 (3), 169-182, 2017
322017
Bats as potential suppressors of multiple agricultural pests: a case study from Madagascar
J Kemp, A López-Baucells, R Rocha, OS Wangensteen, Z Andriatafika, ...
Agriculture, ecosystems & environment 269, 88-96, 2019
312019
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
282018
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
Make EU trade with Brazil sustainable
L Kehoe, T Reis, M Virah-Sawmy, A Balmford, T Kuemmerle, A Knohl, ...
Science 364 (6438), 2019
262019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20