Herramientas Personales
Usted está aquí: Inicio Investigación Lógica y coálgebra aplicadas a Ciencias de la Computación

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.

 

Participantes

 

Algunas publicaciones

  • I. Viglizzo, F. Tohmé y G. Simari: An Alternative Foundation for DeLP: Defeating Relations and Truth Values, en Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 2008, Proceedings, volumen 4932 de Lecture Notes in Computer Science. http://dx.doi.org/10.1007/978-3-540-77684-0_6
  • I. Viglizzo: A Coalgebraic Approach to Type Spaces, en Mecánica Computacional, vol XXVI, pp 543-558. Online
  • L. Moss and I. Viglizzo: Final Coalgebras for functors on measurable spaces. Information and Computation, Volume 204, Issue 4 (April 2006) Special issue: Seventh workshop on coalgebraic methods in computer science 2004. Pages: 610-636. http://dx.doi.org/10.1016/j.ic.2005.04.006

 

Acciones de Documento