Ricardo Rocha
Ricardo Rocha
Computer Science Department, University of Porto
Verified email at - Homepage
Cited by
Cited by
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
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
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
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
Forest trees for on-line data
J Gama, P Medas, R Rocha
Proceedings of the 2004 ACM symposium on Applied computing, 632-636, 2004
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
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
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
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
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
YapTab: A tabling engine designed to support parallelism
R Rocha, F Silva, V Santos Costa
Conference on Tabulation in Parsing and Deduction 7787, 2000
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
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
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
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
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
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
An improved continuation call-based implementation of tabling
P Chico de Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
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
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
The system can't perform the operation now. Try again later.
Articles 1–20