Concepedia

Ricardo Óscar Rodríguez

RÓ

9

Publications

286

Citations

9

H-Index

1997

Active since

Affiliations

Universidad de Buenos Aires(Current)

Universidad de Los Andes

Artificial Intelligence Research Institute

Ricardo Óscar Rodríguez is an author at Universidad de Buenos Aires specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceLanguageSemanticsLinguisticsProof ComplexityCognitive ScienceFormal Verification

Publications per year

1997–2017

9

Publications

9

Standard Gödel Modal Logics

Xavier Caicedo, Ricardo Óscar Rodríguez · Studia Logica · 2010 · 72 citations

Engineering, Substructural Logic, Automated Reasoning +3

A modal account of similarity-based reasoning

Francesc Esteva, Pere García, Ricardo Óscar Rodríguez · International Journal of Approximate Reasoning · 1997 · 72 citations

Cognitive Science, Reasoning System, Automated Reasoning +6

On implicative closure operators in approximate reasoning

Ricardo Óscar Rodríguez, Francesc Esteva, Pere García et al. · International Journal of Approximate Reasoning · 2003 · 32 citations

Engineering, Incompleteness, Automated Reasoning +3

Decidability of order-based modal logics

Xavier Caicedo, George Metcalfe, Ricardo Óscar Rodríguez et al. · Journal of Computer and System Sciences · 2017 · 31 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +6

Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System

Luiz Carlos Pereira, Ricardo Óscar Rodríguez · Revista Portuguesa de Filosofia · 2017 · 23 citations

Rows per page

1–5 of 9