-
Acrónimo: GIA
Correo: gr_inv.gia@urjc.es
Web: AccederNúmero de investigadores: 18Número de quinquenios: 17Nú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: 13Nú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.
-
Grado
PLAN ASIGNATURA (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) INTELIGENCIA ARTIFICIAL (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) INTELIGENCIA ARTIFICIAL (2118) DOBLE GRADO EN INGENIERIA DEL SOFTWARE Y MATEMATICAS (MOSTOLES) I INGENIERIA DEL CONOCIMIENTO (2316) DOBLE GRADO EN INGENIERIA DEL SOFTWARE Y MATEMATICAS (MOSTOLES) II INGENIERIA DEL CONOCIMIENTO (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) I INTELIGENCIA ARTIFICIAL (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I PROGRAMACION DECLARATIVA (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II INTELIGENCIA ARTIFICIAL (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II PROGRAMACION DECLARATIVA (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) INTELIGENCIA ARTIFICIAL (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) LOGICA (2034) GRADO EN INGENIERIA DEL SOFTWARE (MOSTOLES) INGENIERIA DEL CONOCIMIENTO (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) INTELIGENCIA ARTIFICIAL (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) PROGRAMACION DECLARATIVA (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) INTELIGENCIA ARTIFICIAL (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES) LOGICA (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES) PROGRAMACION DECLARATIVA
-
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/12/22
Fecha fin: 30/11/24
Entidad financiadora: AGENCIA ESTATAL DE INVESTIGACION
Referencia externa: TED2021-131295B-C33
Referencia interna: M2883Investigador/es principal/es:
Investigadores:
- Dirk Sascha Ossowski
- Holger Billhardt
- Alberto Fernández Isabel
- Javier Martínez Moguerza
- Alberto Fernández Gil
- María Mar Moreno Rebato
- José Antonio Rodríguez García
- Isaac Martín de Diego
- José Antonio Santos Arnaiz
- María Teresa González de Lena Alonso
- Joaquín Arias Herrero
Investigadores o Técnicos:
Otros colaboradores:
- Marija Slavkovik
- Jürgen Dunkel
- RALF BRUNS
- María del Carmen Fernández Martínez
Fecha inicio: 01/01/23
Fecha fin: 31/12/23
Entidad financiadora: UNIVERSIDAD REY JUAN CARLOS
Referencia externa:
Referencia interna: M2981Investigador/es principal/es:
Investigadores:
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:
- Alberto Fernández Gil
- Holger Billhardt
- Joaquín Arias Herrero
- José Antonio Rodríguez García
- María Mar Moreno Rebato
- Dirk Sascha Ossowski
- José Antonio Santos Arnaiz
Investigadores o Técnicos:
Otros colaboradores:
- Iván Bernabé Sánchez
- Roberto Centeno Sánchez
- María del Carmen Fernández Martínez
- Luis Peña Sánchez
Fecha inicio: 01/09/22
Fecha fin: 31/08/25
Entidad financiadora: AGENCIA ESTATAL DE INVESTIGACION
Referencia externa: PID2021-123673OB-C32
Referencia interna: M2818Investigador/es principal/es:
Investigadores:
- Alberto Fernández Gil
- María Mar Moreno Rebato
- Dirk Sascha Ossowski
- Holger Billhardt
- José Antonio Santos Arnaiz
- Joaquín Arias Herrero
- José Antonio Rodríguez García
Investigadores o Técnicos:
Otros colaboradores:
- Jürgen Dunkel
- Elizabeth Sklar
- Iván Bernabé Sánchez
- RALF BRUNS
- María del Carmen Fernández Martínez
-
- Google Scholar: hPA523AAAAAJ
- ORCID: 0000-0003-4148-311X
-
Publicaciones