-
Acrónimo: GIA
Correo: gr_inv.gia@urjc.es
Web: AccederNúmero de investigadores: 18Número de quinquenios: 16Número de Docentia: 17Número de sexenios investigación: 15Número de sexenios transferencia: 1
Coordinador/es:
Investigadores miembros:
- Dirk Sascha Ossowski
- Holger Billhardt
- Alberto Fernández Gil
- José Antonio Rodríguez García
- Joaquín Arias Herrero
Investigadores colaboradores:
Investigadores/Técnicos de apoyo contratados:
Otros colaboradores:
- Jürgen Dunkel
- Roberto Centeno Sánchez
- Ramón Hermoso Traba
- Marin Lujak
- José Santiago Pérez Sotelo
- Sandra Timón Mayo
- Óscar Sánchez Sánchez
- Carlos Gustavo Ceacero Molina
- María del Carmen Fernández Martínez
-
Acrónimo: IIIE
Correo: gr_doc.iiie@urjc.es
Web: AccederNúmero de investigadores: 9Número de quinquenios: 9Número de Docentia: 10Número de sexenios investigación: 3Número de sexenios transferencia: 0
Coordinador/es:
Investigadores miembros:
- David Roldán Álvarez
- Estefanía Martín Barroso
- Ignacio Fernández González
- Isidoro Hernán Losada
- Joaquín Arias Herrero
- María Zapata Cáceres
- Pedro Paredes Barragán
Otros colaboradores:
- Manuel Freire Morán
- Trevor Collins
-
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.
-
CURSO PLAN ASIGNATURA 2021-22 (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2021-22 (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) PROGRAMACION DECLARATIVA 2021-22 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) PROGRAMACION DECLARATIVA 2021-22 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2021-22 (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES) PROGRAMACION DECLARATIVA 2021-22 (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) PROGRAMACION DECLARATIVA 2021-22 (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES) PROGRAMACION DECLARATIVA 2021-22 (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I PROGRAMACION DECLARATIVA 2021-22 (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II PROGRAMACION DECLARATIVA 2021-22 (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) PROGRAMACION DECLARATIVA 2021-22 (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2021-22 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) LOGICA 2021-22 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) MATEMATICA DISCRETA Y ALGEBRA 2021-22 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) METODOLOGIAS DE DESARROLLO SEGURO 2021-22 (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) PROGRAMACION DECLARATIVA 2021-22 (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) PROGRAMACION DECLARATIVA CURSO PLAN ASIGNATURA 2020-21 (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES 2020-21 (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES 2020-21 (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) MULTIMEDIA 2020-21 (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2020-21 (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) INTERACCION PERSONA-ORDENADOR 2020-21 (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES 2020-21 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES 2020-21 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES 2020-21 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2020-21 (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES) INTERACCION PERSONA-ORDENADOR 2020-21 (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) INTERACCION PERSONA-ORDENADOR 2020-21 (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES 2020-21 (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES) INTERACCION PERSONA-ORDENADOR 2020-21 (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I INTERACCION PERSONA-ORDENADOR 2020-21 (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II INTERACCION PERSONA-ORDENADOR 2020-21 (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) INTERACCION PERSONA-ORDENADOR 2020-21 (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES 2020-21 (2265) GRADO EN DISEÑO Y DESARROLLO DE VIDEOJUEGOS (MADRID) MULTIMEDIA 2020-21 (2175) GRADO EN DISEÑO Y DESARROLLO DE VIDEOJUEGOS (MOSTOLES) MULTIMEDIA 2020-21 (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES 2020-21 (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES 2020-21 (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES 2020-21 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) FUNDAMENTOS FISICOS DE LA INFORMATICA 2020-21 (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) INTERACCION PERSONA-ORDENADOR 2020-21 (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) INTERACCION PERSONA-ORDENADOR 2020-21 (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES
-
Fecha inicio: 01/01/19
Fecha fin: 30/09/22
Entidad financiadora: MINISTERIO DE ASUNTOS ECONOMICOS Y TRANSFORMACION DIGITAL
Referencia externa: RTI2018-095390-B-C33
Referencia interna: M2010Investigador/es principal/es:
Investigadores:
- Holger Billhardt
- Alberto Fernández Gil
- María Mar Moreno Rebato
- Dirk Sascha Ossowski
- José Antonio Santos Arnaiz
- José Antonio Rodríguez García
- Joaquín Arias Herrero
Investigadores o Técnicos:
Otros colaboradores:
- María del Carmen Fernández Martínez
- Roberto Centeno Sánchez
- Iván Bernabé Sánchez
- Luis Peña Sánchez
-
- Google Scholar: hPA523AAAAAJ
- ORCID: 0000-0003-4148-311X
-
Publicaciones