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
2202011
The YAP Prolog System
VS Costa, L Damas, R Rocha
Arxiv preprint arXiv:1102.3896, 2011
2032011
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
1522009
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
1382021
Forest trees for on-line data
J Gama, P Medas, R Rocha
Proceedings of the 2004 ACM symposium on Applied computing, 632-636, 2004
1202004
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
792020
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
792008
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
772018
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
772009
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
582008
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
551999
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
482020
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
432023
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
422023
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
322021
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 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
312021
On a tabling engine that can exploit or-parallelism
R Rocha, F Silva, VS Costa
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus …, 2001
312001
The system can't perform the operation now. Try again later.
Articles 1–20