Alberto Rivas

22 papers and 353 indexed citations i.

About

Alberto Rivas has authored 22 papers that have received a total of 353 indexed citations. This includes 11 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Sociology and Political Science. The topics of these papers are Formal Methods in Verification (7 papers), AI-based Problem Solving and Planning (6 papers) and Logic, Reasoning, and Knowledge (4 papers). Alberto Rivas is often cited by papers focused on Formal Methods in Verification (7 papers), AI-based Problem Solving and Planning (6 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Spain, Canada and Chile. Alberto Rivas's co-authors include Sheila A. McIlraith, Pablo Chamoso, Alfonso González‐Briones, Juan M. Corchado and Christian Muise and has published in prestigious journals such as PLoS ONE, Sensors and Information Sciences

In The Last Decade

Rankless by CCL
2025