R
Ricardo Rocha
Researcher at University of Porto
Publications - 216
Citations - 3579
Ricardo Rocha is an academic researcher from University of Porto. The author has contributed to research in topics: Prolog & Logic programming. The author has an hindex of 28, co-authored 204 publications receiving 2716 citations. Previous affiliations of Ricardo Rocha include University of Cambridge & Smithsonian Tropical Research Institute.
Papers
More filters
Journal ArticleDOI
BioTIME: A database of biodiversity time series for the Anthropocene
Maria Dornelas,Laura H. Antão,Laura H. Antão,Faye Moyes,Amanda E. Bates,Amanda E. Bates,Anne E. Magurran,Dušan Adam,A. A. Akhmetzhanova,Ward Appeltans,José Manuel Arcos,Haley Arnold,N. Ayyappan,Gal Badihi,Andrew H. Baird,Miguel Barbosa,Miguel Barbosa,Tiago Egydio Barreto,Claus Bässler,Alecia Bellgrove,Jonathan Belmaker,Lisandro Benedetti-Cecchi,Brian J. Bett,Anne D. Bjorkman,Magdalena Błażewicz,Shane A. Blowes,Christopher P. Bloch,Timothy C. Bonebrake,Susan Boyd,Matt Bradford,Andrew J. Brooks,James H. Brown,Helge Bruelheide,Phaedra Budy,Fernando Carvalho,Edward Castañeda-Moya,Chaolun Allen Chen,John F. Chamblee,Tory J. Chase,Laura Siegwart Collier,Sharon K. Collinge,Richard Condit,Elisabeth J. Cooper,J. Hans C. Cornelissen,Unai Cotano,Shannan K. Crow,Gabriella Damasceno,Claire H. Davies,Robert A. Davis,Frank P. Day,Steven Degraer,Steven Degraer,Tim S. Doherty,Tim S. Doherty,Timothy E. Dunn,Giselda Durigan,J. Emmett Duffy,Dor Edelist,Graham J. Edgar,Robin Elahi,Sarah C. Elmendorf,Anders Enemar,S. K. Morgan Ernest,Ruben Escribano,Marc Estiarte,Brian S. Evans,Tung-Yung Fan,Fabiano Turini Farah,Luiz Fernando Loureiro Fernandes,Fábio Z. Farneda,Fábio Z. Farneda,Alessandra Fidelis,Robert N. L. Fitt,Anna Maria Fosaa,Geraldo Antônio Daher Corrêa Franco,Grace E. Frank,William R. Fraser,Hernando García,Roberto Cazzolla Gatti,Or Givan,Elizabeth Gorgone-Barbosa,William A. Gould,Corinna Gries,Gary D. Grossman,Julio R. Gutiérrez,Julio R. Gutiérrez,Stephen S. Hale,Mark E. Harmon,John Harte,Gary Haskins,Donald L. Henshaw,Luise Hermanutz,Pamela Hidalgo,Pedro Higuchi,Andrew S. Hoey,Gert Van Hoey,Annika Hofgaard,Kristen T. Holeck,Robert D. Hollister,Richard T. Holmes,Mia O. Hoogenboom,Chih-hao Hsieh,Stephen P. Hubbell,Falk Huettmann,Christine L. Huffard,Allen H. Hurlbert,Natália Macedo Ivanauskas,David Janík,Ute Jandt,Anna Jażdżewska,Tore Johannessen,Jill F. Johnstone,Julia A. Jones,Faith A. M. Jones,Jungwon Kang,Tasrif Kartawijaya,Erin C. Keeley,Douglas A. Kelt,Rebecca Kinnear,Kari Klanderud,Halvor Knutsen,Christopher C. Koenig,Alessandra Rocha Kortz,Kamil Král,Linda A. Kuhnz,Chao-Yang Kuo,David J. Kushner,Claire Laguionie-Marchais,Lesley T. Lancaster,Cheol Min Lee,Jonathan S. Lefcheck,Esther Lévesque,David C. Lightfoot,Francisco Lloret,John D. Lloyd,Adrià López-Baucells,Adrià López-Baucells,Maite Louzao,Joshua S. Madin,Borgþór Magnússon,Shahar Malamud,Iain Matthews,Kent P. McFarland,Brian J. McGill,Diane M. McKnight,William O. McLarney,Jason Meador,Peter L. Meserve,Daniel J. Metcalfe,Christoph F. J. Meyer,Christoph F. J. Meyer,Christoph F. J. Meyer,Anders Michelsen,N. A. Mil'chakova,Tom Moens,Even Moland,J. Jonathan Moore,Carolina Mathias Moreira,Jörg Müller,Jörg Müller,Grace E. P. Murphy,Isla H. Myers-Smith,Randall W. Myster,Andrew Naumov,Francis Neat,James A. Nelson,Michael Paul Nelson,Stephen F. Newton,Natalia Norden,Jeffrey C. Oliver,Esben Moland Olsen,Vladimir G. Onipchenko,Krzysztof Pabis,Robert J. Pabst,Alain Paquette,Sinta Pardede,David M. Paterson,Raphaël Pélissier,Josep Peñuelas,Alejandro Pérez-Matus,Oscar Pizarro,Francesco Pomati,Eric Post,Herbert H. T. Prins,John C. Priscu,Pieter Provoost,Kathleen L. Prudic,Erkki Pulliainen,B.R. Ramesh,Olivia Mendivil Ramos,Andrew Rassweiler,José Eduardo Rebelo,Daniel C. Reed,Peter B. Reich,Peter B. Reich,Suzanne M. Remillard,Anthony J. Richardson,Anthony J. Richardson,J. Paul Richardson,Itai van Rijn,Ricardo Rocha,Ricardo Rocha,Ricardo Rocha,Victor H. Rivera-Monroy,Christian Rixen,Kevin P. Robinson,Ricardo Ribeiro Rodrigues,Denise de Cerqueira Rossa-Feres,Lars G. Rudstam,Henry A. Ruhl,Catalina S. Ruz,Erica M. Sampaio,Erica M. Sampaio,Nancy B. Rybicki,Andrew L. Rypel,Sofía Sal,Beatriz Salgado,Flavio Antonio Maës dos Santos,Ana Paula Savassi-Coutinho,Sara E. Scanga,Jochen Schmidt,Robert L. Schooley,Fakhrizal Setiawan,Kwang-Tsao Shao,Gaius R. Shaver,Sally Sherman,Thomas W. Sherry,Jacek Siciński,Caya Sievers,Ana Carolina da Silva,Fernando Rodrigues da Silva,Fábio Lang da Silveira,Jasper A. Slingsby,Tracey Smart,Sara J. Snell,Nadejda A. Soudzilovskaia,Gabriel Barros Gonçalves de Souza,Flaviana Maluf Souza,Vinicius Castro Souza,Christopher D. Stallings,Rowan Stanforth,Emily H. Stanley,José Mauro Sterza,Maarten Stevens,Rick D. Stuart-Smith,Yzel Rondon Súarez,Sarah R. Supp,Jorge Yoshio Tamashiro,S.A. Tarigan,Gary P. Thiede,Simon Thorn,Anne Tolvanen,Maria Teresa Zugliani Toniato,Ørjan Totland,Robert R. Twilley,Gediminas Vaitkus,Nelson Valdivia,Martha Isabel Vallejo,Thomas J. Valone,Carl Van Colen,Jan Vanaverbeke,Fábio Venturoli,Hans M. Verheye,Marcelo Vianna,Rui P. Vieira,Tomáš Vrška,Con Quang Vu,Lien Van Vu,Robert B. Waide,Conor Waldock,Dave Watts,Sara L. Webb,Tomasz Wesołowski,Ethan P. White,Claire E. Widdicombe,Dustin J. Wilgers,R. Williams,Stefan B. Williams,Mark Williamson,Michael R. Willig,Trevor J. Willis,Sonja Wipf,Kerry D. Woods,Eric J. Woehler,Kyle J. A. Zawada,Kyle J. A. Zawada,Michael L. Zettler +286 more
TL;DR: The BioTIME database contains raw data on species identities and abundances in ecological assemblages through time to enable users to calculate temporal trends in biodiversity within and amongst assemblage using a broad range of metrics.
Journal ArticleDOI
On the implementation of the probabilistic logic programming language problog
TL;DR: Algorithms that allow the efficient execution of queries in ProbLog are introduced, their implementation on top of the YAP-Prolog system is discussed, and their performance in the context of large networks of biological entities is evaluated.
Journal ArticleDOI
The yap prolog system
TL;DR: Yet Another Prolog (YAP) as mentioned in this paper is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then, focusing on three important contributions to the Logic Programming community.
Journal ArticleDOI
Trait‐related responses to habitat fragmentation in Amazonian bats
Fábio Z. Farneda,Fábio Z. Farneda,Ricardo Rocha,Ricardo Rocha,Ricardo Rocha,Adrià López-Baucells,Adrià López-Baucells,Adrià López-Baucells,Milou Groenenberg,Inês Silva,Jorge M. Palmeirim,Paulo Estefano D. Bobrowiec,Christoph F. J. Meyer,Christoph F. J. Meyer +13 more
TL;DR: Mobility, body mass, wing morphology, and trophic level were the most important traits linked to fragmentation sensitivity based on the PGLS analysis, while body mass and troPHic level emerged as the best predictors in the fourth-corner analysis.
Posted Content
The YAP Prolog System
TL;DR: The general structure and design of the YAP system is presented, focusing on three important contributions to the Logic Programming community, as well as the main techniques used in YAP to achieve an efficient Prolog engine.