Profesores e Investigadores

Departamentos

Curriculum Vitae

Joaquín Arias Herrero
Profesor/a Permanente Laboral
1
Docentia
2022-23
1
Sexenios investigación
2022

Centro

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

Departamento

Informática y Estadística

Área

Ciencia de la Comp. e Inteligencia Artificial

Grupo de investigación

Grupo de investigación de alto rendimiento en Inteligencia Artificial de la Universidad Rey Juan Carlos

Centro/Instituto de investigación

Centro de Investigación para las Tecnologías Inteligentes de la Información y sus Aplicaciones de la Universidad Rey Juan Carlos

Contacto

joaquin.arias@urjc.es
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.


Docencia y asignaturas impartidas en el curso actual

  • Grado

    PLAN ASIGNATURA
    (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO)PROGRAMACION DECLARATIVA
    (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES)PROGRAMACION DECLARATIVA
    (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES)INTELIGENCIA ARTIFICIAL
    (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES)PROGRAMACION DECLARATIVA
    (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO)PROGRAMACION DECLARATIVA
    (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES)INTELIGENCIA ARTIFICIAL
    (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES)PROGRAMACION DECLARATIVA
    (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) IINTELIGENCIA ARTIFICIAL
    (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) IPROGRAMACION DECLARATIVA
    (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) IIINTELIGENCIA ARTIFICIAL
    (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) IIPROGRAMACION DECLARATIVA
    (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO)PROGRAMACION DECLARATIVA
    (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES)LOGICA
    (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES)INTELIGENCIA ARTIFICIAL
    (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES)PROGRAMACION DECLARATIVA
    (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO)PROGRAMACION DECLARATIVA
    (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES)LOGICA
    (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES)PROGRAMACION DECLARATIVA
HISTÓRICO DOCENTE (ÚLTIMOS 10 CURSOS ACADÉMICOS)

Listado de proyectos (Últimos 10 años)
Códigos de investigador
Publicaciones
Información general
Información general
Méritos
Volver al Departamento

2025 © Universidad Rey Juan Carlos