Lógica y coálgebra aplicadas a ciencias de la computación

Temas de investigación en curso

• Formalización de DeLP. Se estudia desde un punto de vista matemático el sistema de DeLP (Defeasible Logic Programming) usando herramientas de teoría de juegos. Colaboradores: Fernando Tohmé y Guillermo Simari
• Coálgebra y probabilidades. Se estudian coálgebras en la categoría de espacios medibles. Colaborador: Larry Moss
• Lógica fuzzy. Se estudia la lógica fuzzy, en particular las estructuras algebraicas relacionadas y aplicaciones a la economía. Colaboradora: Rosana Entizne