Joaquín Arias Herrero
Profesor/a Ayudante Doctor/a

Centro

Esc. Tec. Sup. de Ingeniería Informática

Departamento

Ciencias de la Computación, Arquitectura de Computadores, Lenguajes y Sistemas Informáticos y Estadística e Investigación Operativa

Área

Lenguajes y Sistemas Informáticos
Información general
Información general
Presentación
  • My research focuses on the extension of a rule-base high level programming language, based on constraints and logic, and its application in reasoning over stream data.

    I have been working at the IMDEA Software Institute, under the supervision of Dr. Manuel Carro. We have designed and implemented a modular constraint system, Modular TCLP, and validated it with the integration of several constraint domains. We have used Modular TCLP to reimplement the state-of-the-art abstract interpreter PLAI increasing efficiency with shorter coding (1/3 of the previous version). We then sketched out how to apply TCLP to stream data analysis and detected the need to capture non-monotonic reasoning.

    Since my stay at the University of Texas at Dallas in 2017, I have collaborated with them in the development of s(CASP), a novel non-monotonic reasoning system that integrates answer set programming and constraints. We have applied s(CASP) in several applications, e.g., to model and reason using event calculus.


Méritos
HISTÓRICO DOCENTE (ÚLTIMOS 10 CURSOS ACADÉMICOS)
Listado de proyectos (Últimos 10 años)
Códigos de investigador
Publicaciones