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
2262011
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
1992011
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
1592021
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
942020
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
812018
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
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
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
602023
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
592008
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
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
522020
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
512023
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
352021
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
352021
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
322008
The system can't perform the operation now. Try again later.
Articles 1–20