Follow
Ricardo Rocha
Ricardo Rocha
Computer Science Department, University of Porto
Verified email at dcc.fc.up.pt - Homepage
Title
Cited by
Cited by
Year
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
2282011
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
2022011
Tapping into non-English-language science for the conservation of global biodiversity
T Amano, V Berdejo-Espinola, AP Christie, K Willott, M Akasaka, A Báldi, ...
PLoS Biology 19 (10), e3001296, 2021
1752021
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
1562009
Forest trees for on-line data
J Gama, P Medas, R Rocha
Proceedings of the 2004 ACM symposium on Applied computing, 632-636, 2004
1192004
Quantifying and addressing the prevalence and bias of study designs in the environmental and social sciences
AP Christie, D Abecasis, M Adjeroud, JC Alonso, T Amano, A Anton, ...
Nature Communications 11 (1), 6377, 2020
1002020
Secondary forest regeneration benefits old-growth specialist bats in a fragmented tropical landscape
R Rocha, O Ovaskainen, A López-Baucells, FZ Farneda, EM Sampaio, ...
Scientific reports 8 (1), 3819, 2018
822018
Ventas callejeras y espacio público: efectos sobre el comercio de Bogotá
R Rocha, F Sánchez, L García
Desarrollo y sociedad, 245-268, 2009
812009
On the efficient execution of ProbLog programs
A Kimmig, V Santos Costa, R Rocha, B Demoen, L De Raedt
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
762008
Bat responses to climate change: a systematic review
F Festa, L Ancillotto, L Santini, M Pacifici, R Rocha, N Toshkova, ...
Biological Reviews 98 (1), 19-33, 2023
702023
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
682005
YapTab: A tabling engine designed to support parallelism
R Rocha, F Silva, V Santos Costa
Conference on Tabulation in Parsing and Deduction 7787, 2000
662000
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
602008
Eponyms have no place in 21st-century biological nomenclature
P Guedes, F Alves-Martins, JM Arribas, S Chatterjee, AMC Santos, ...
Nature Ecology & Evolution 7 (8), 1157-1160, 2023
582023
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), 6, 2020
552020
Yapor: an or-parallel prolog system based on environment copying
R Rocha, F Silva, VS Costa
Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial …, 1999
541999
Reducing publication delay to improve the efficiency and impact of conservation science
AP Christie, TB White, PA Martin, SO Petrovan, AJ Bladon, AE Bowkett, ...
PeerJ 9, e12245, 2021
372021
Ethnobiology of bats: Exploring human-bat inter-relationships in a rapidly changing world
R Rocha, A López-Baucells, Á Fernández-Llamazares
Journal of Ethnobiology 41 (1), 3-17, 2021
362021
The importance of Indigenous Territories for conserving bat diversity across the Amazon biome
Á Fernández-Llamazares, A López-Baucells, PM Velazco, A Gyawali, ...
Perspectives in ecology and conservation 19 (1), 10-20, 2021
362021
Optimizing bat bioacoustic surveys in human‐modified Neotropical landscapes
A López‐Baucells, N Yoh, R Rocha, PED Bobrowiec, JM Palmeirim, ...
Ecological Applications 31 (6), e02366, 2021
342021
The system can't perform the operation now. Try again later.
Articles 1–20