Premio Lotfi A. Zadeh Best Paper — IPMU 2022, Milán

Dr. Ricardo Oscar Rodriguez

Profesor Titular en Ciencias de la Computación

  • Doctor en Ciencias de la Computación — UPC, Barcelona (2002)
  • Universidad de Buenos Aires, Argentina
  • 35 años de experiencia en docencia universitaria
Sobre mí Publicaciones Descargar CV
Foto de perfil del Dr. Ricardo Oscar Rodriguez

Sobre mí

Perfil Académico

  • Profesor Titular con dedicación exclusiva
  • Departamento de Computación, FCEyN — UBA
  • 35 años de antigüedad en la docencia universitaria
  • Miembro de proyectos EU Marie Curie (MOSAIC, SYSMICS, FP7)

Títulos Académicos

Licenciado en Ciencias de la Computación
Facultad de Ciencias Exactas y Naturales, UBA
Obtenido el 18 de septiembre de 1991
Doctorado en Ciencias de la Computación
Universidad Politécnica de Cataluña
Obtenido el 8 de febrero de 2002
Tesis: "Aspectos Formales en el Razonamiento Basado en Relaciones de Similitud Borrosas"
Directores: Pere García y Lluís Godo
Premio Internacional

Lotfi A. Zadeh Best Paper Award · IPMU 2022, Milán

"Rotation of Gödel Algebras with Modal Operators" — en colaboración con Tommaso Flaminio, Lluís Godo y Paula Menchón

Experiencia Académica y de Gestión

2023 – Presente

Miembro de la Comisión de Presupuesto del Consejo Directivo

FCEyN, Universidad de Buenos Aires
2018 – Presente

Coordinador Adjunto de la CTA5-SeCyT

Universidad de Buenos Aires
2026 – Presente

Profesor Titular regular con dedicación exclusiva

Departamento de Computación, FCEyN — UBA

Lógicas Modales, Introducción a la Computación, Aspectos Éticos en Inteligencia Artificial, Cambio de Creencias, Integración de Bases de Conocimientos.

2017 – 2026

Profesor Asociado regular con dedicación exclusiva

Departamento de Computación, FCEyN — UBA

Lógicas Modales, Introducción a la Computación, Aspectos Éticos en Inteligencia Artificial, Cambio de Creencias, Integración de Bases de Conocimientos.

2000 – 2017

Profesor Adjunto regular con dedicación exclusiva

Departamento de Computación, FCEyN — UBA

Área Métodos No Numéricos. Cátedras: Teoría de Cambio, Lógicas No Estándar, Inteligencia Artificial, Representación del Conocimiento y Data Mining.

2003

Director Adjunto del Departamento de Computación

FCEyN, Universidad de Buenos Aires
2002

Secretario Académico del Departamento de Computación

FCEyN, Universidad de Buenos Aires
1987 – 1991

Secretario y organizador de la Escuela de Ciencias Informáticas

Universidad de Buenos Aires

Uno de los promotores de la creación de la ECI (1987).

Áreas de Investigación

Lógicas Modales

Lógicas modales multivaluadas, semánticas de Kripke y vecindad, axiomatización y decidibilidad.

Inteligencia Artificial

Razonamiento aproximado, sistemas multiagentes, ontologías y extracción de información.

Cambio de Creencias

Revisión y contracción AGM, teoría de cambio, lógicas no-monótonas y dinámica del conocimiento.

Lógica Difusa

Razonamiento basado en similitud, álgebras BL y Łukasiewicz, lógicas posibilísticas multivaluadas.

Demostración Automática

Métodos tableaux y resolución no-clausal para lógicas modales y multivaluadas.

Ética en Tecnología

Aspectos éticos en IA, sistemas autónomos de armas y responsabilidad algorítmica.

Publicaciones en Revistas

2024 Revisión de Creencias

Moderated Revision

Con Daniel A. Grimaldi y M. Vanina Martinez

International Journal of Approximate Reasoning — En prensa

2023 Lógica Difusa

An algebraic semantics for possibilistic finite-valued Łukasiewicz logic

Con Manuela Busaniche, Penélope Cordero y Miguel Marcos

International Journal Approximate Reasoning. Vol. 159, Aug. 2023, 108924

2022 Lógica Modal 🏆 Best Paper Award

Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions

Con Olim Frits Tuyt, Francesc Esteva y Lluís Godo

Journal of Symbolic Logic. 2022

2022 Neurociencia Computacional

Scalable Query Answering under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach

Con G. Zanitti, Y. Soto, V. Iovene, M.V. Martinez, G. Simari y D. Wasserman

NEUROINFORMATICS (ISSN: 1539-2791). 2022

2022 Álgebras Modales

Algebraic Semantics for the Minimum Many-Valued Modal Logic over Ln

Con Penélope Cordero y Manuela Busaniche

Fuzzy Set and System. 2022

2022 Lógica Intermedia

One-variable fragments of intermediate logics over linear frames

Con Xavier Caicedo, George Metcalfe y Olim Tuyt

Information and Computation. Vol. 287. 2022

2021 Lógica de Gödel

Axiomatization Of Crisp Gödel Modal Logics

Con Amanda Vidal

Journal of Symbolic Logic, vol. 109, pp. 367–395. 2021

2019 Lógica de Corsi

The one-variable fragment of Corsi logic

Con Xavier Caicedo, George Metcalfe y Olim Tuyt

WoLLIC 2019, Lecture Notes in Computer Science, vol. 11541. Springer.

2019 Álgebras de Gödel

A representation theorem for finite Gödel algebras with operators

Con Tommaso Flaminio y Lluís Godo

WoLLIC 2019, Lecture Notes in Computer Science, vol. 11541. Springer.

2019 Álgebras BL

Pseudo-monadic BL Algebras

Con Penélope Cordero y Manuela Busaniche

Soft Computing Journal 23:2199–2212. 2019

2017 Lógica Ecuménica

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

Con Luiz Carlos Pereira

Revista Portuguesa de Filosofia Vol. 73 (3-4): 1153–1168. 2017

2017 Lógicas Modales

Decidability of Order-Based Modal Logics

Con Xavier Caicedo, George Metcalfe y Jonas Rogger

Journal of Computer and System Sciences 88: 53–74. 2017

2015 Lógica de Gödel

Bi-modal Gödel logic over [0,1]-valued Kripke frames

Con Xavier Caicedo

Journal of Logic and Computation 25(1): 37–55. Oxford University Press. 2015

2011 Lógica Difusa

Logics for approximate and strong entailments

Con Francesc Esteva, Lluís Godo y Thomas Vetterlein

Fuzzy Set and System. Special Issue Linz 2010. 2011

2010 Lógica de Gödel

Standard Gödel Modal Logic

Con Xavier Caicedo

Studia Logica 94:189–214. Springer. 2010

2003 Razonamiento Aproximado

On Implicative Closure Operators in Approximate Reasoning

Con F. Esteva, P. García y L. Godo

International Journal of Approximate Reasoning. vol. 33: 159–184. 2003

2002 Lógica Difusa

Graded Similarity-Based Semantics for Non Monotonic Inferences

Con Lluís Godo

Annals of Mathematics and Artificial Intelligence 34:89–105. Kluwer. 2002

Capítulos de Libros

2025 IA y Ética

Reflections on the use of Artificial Intelligence for Weapons Applications

Con Vanina Martinez

Second Death: Experiences of Death Across Technologies. Studies in Applied Philosophy, Epistemology, and Rational Ethics. Springer.

2024 Lógica Modal

Algebras and relational frames for Gödel modal logic and some of its extensions

Con T. Flaminio, L. Godo y P. Menchón

Many-valued semantics and modal logic. Essays in Honour of Yu. V. Ivlev. Synthese Library.

2022 IA y Armas

Inteligencia Artificial y Sistemas Autónomos de Aplicación de la Fuerza

Con M.V. Martinez, L. Micha y P. Farias

Inteligencia Artificial y Sistemas de Armas Autónomas (ISBN 978-987-88-6956-8). Centro de Estudios de Política Internacional. Buenos Aires.

2021 Divulgación

Desmitificando la Inteligencia Artificial

Con L. Acion, L. Alonso Alemani, E. Ferrante, V. Martinez, D. Milone, G. Simari y S. Uchitel

Inteligencia Artificial: una mirada multidisciplinaria (ISBN: 978-987-99575-8-5). Editorial Academia Nacional de Ciencias Morales y Políticas. 2021

2015 Historia de la Informática

Fulgor y Ocaso de CEUNS. Una apuesta a la tecnología nacional en el Sur de Argentina

Con Raúl Carnota

Historias de las TIC en América Latina y el Caribe. Editorial Fundación Telefónica. Pag. 127–145. 2015

2011 Revisión de Creencias

AGM theory and artificial intelligence

Con Raúl Carnota

Science in Flux. Logic, Epistemology, and the Unity of Science. Springer. 2011

2008 Lógica Difusa

Logical approaches to similarity-based reasoning: an overview

Con Lluís Godo

CISM series Vol. 504, pp. 75–128. Springer Verlag. Wien and New York. 2008

2007 IA Médica

Artificial Intelligence in Thoracic Surgery Clinics

Con Hugo Esteva y Tomas Nuñez

Risk prediction and outcome analysis in thoracic surgery. Thoracic Surgery Clinics. USA. 2007

1999 Lógica Difusa

A Fuzzy Modal Logic for Similarity Reasoning

Con Lluís Godo

Fuzzy Logic and Soft Computing. Kluwer Academic. 1999

Conferencias y Charlas

Febrero 2025 · Buenos Aires

Inteligencia Artificial y Ética

Escuela Internacional de Verano en Inteligencia Artificial — UNAHUR

2023 · 2024 · Buenos Aires

Nociones de Big Data

Diplomatura de Inteligencia Artificial y Sociedad

Noviembre 2021 · Bochum, Alemania

On the role of Dunn and Fisher Servi axioms in relational frames for Gödel modal logics

Non-Classical Modal and Predicate Logics 2021 (virtual)

Enero 2019 · Amsterdam, Países Bajos

Simplified Kripke semantics for a generalized possibilistic Gödel logic

Sysmics2019

Agosto 2018 · Berna, Suiza

Epistemic MV-algebras

LADT2018

Noviembre 2017 · Toulouse, Francia

Possibilistic logic over fuzzy events

ManyVal2017

Enero 2017 · Barcelona, España

Epistemic BL-algebras

Seminari de Lògiques No Clàssiques — Universidad de Barcelona

Septiembre 2016 · Barcelona, España

Neighborhood Semantics for Many Valued Modal Logics

SYSMICS2016

Agosto 2013 · Beijing, China

Modal uncertainty logics with fuzzy neighborhood semantics

Workshop on Weighted Logics for AI · IJCAI2013

Junio 2012 · Bogotá, Colombia

Modal Extension of Fuzzy Logics (Conferencia Invitada)

Simposio Latinoamericano de Lógica Matemática (SLALM)

Enero 2012 · Barcelona, España

Many-valued Modal Logics (Conferencia Invitada)

Departamento de Probabilidad, Lógica y Estadística — Universidad de Barcelona

Diciembre 2015 · Buenos Aires

Inteligencia Artificial: Ciencia-Ficción y viceversa

Centro Cultural Borges

Julio 2015 · Buenos Aires

On the fuzzy modal logics of belief KD45(A) and Prob(Ln)

Workshop WL4AI · IJCAI2015

Septiembre 2005 · Barcelona, España

Multivalued Modal Logic: Foundations and Applications (Conferencia Invitada)

Universidad de Barcelona

Abril 2000 · Breckenridge, Colorado, EE.UU.

Nonmonotonic inferences induced by graded similarity

Workshop on Non-Monotonic Reasoning (NMR 2000)

Dirección de Investigadores

Doctorados Dirigidos / Codirigidos

  • Penélope Cordero — Estudio de las BL-álgebras epistémicas. Beca CONICET 2017–2019. Defendida el 20/09/2019.
  • Daniel Grimaldi — Un nuevo operador de Revisión: Prevención. 2021 – en curso.
  • Fernando Blancá — Estudio lógico-algebraico de álgebras twist. 2024 – en curso.

Postdoctorados Dirigidos

  • Paula Menchón — Extensiones modales de la lógica Nilpotente Minimal. Beca postdoctoral CONICET 2019–2020.
  • Penélope Cordero — Fragmentos implicativos de la lógica intuicionista epistémica IntKD45. Beca postdoctoral CONICET 2020–2021.
  • Alejandro Solares Rojas — Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux. Beca postdoctoral CONICET 2023–2026.

Contacto

Email institucional

ricardo@dc.uba.ar

Institución

Departamento de Computación
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires