-
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 Ruiz Ballesteros
- 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: 8Número de quinquenios: 7Número de Docentia: 11Número de sexenios investigación: 3Número de sexenios transferencia: 0
Coordinador/es:
Investigadores miembros:
- David Roldán Álvarez
- Estefanía Martín Barroso
- Fernando Martínez Martínez
- Ignacio Fernández González
- Isidoro Hernán Losada
- Joaquín Arias Herrero
- María Zapata Cáceres
Otros colaboradores:
- Adrián Bacelo Polo
-
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
Máster universitario oficial
PLAN ASIGNATURA (6355) MÁSTER INTERUNIVER EN INTELIGENCIA ARTIFICIAL EN ENERG E INFRA BÚSQUEDA Y OPTIMIZACIÓN
-
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/22
Fecha fin: 31/12/23
Entidad financiadora: FUNDACION IMDEA SOFTWARE
Referencia externa: 13108-21
Referencia interna: M3100Investigador/es principal/es:
Investigadores:
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
- Javier Martínez Moguerza
- Alberto Fernández Isabel
- Alberto Fernández Gil
- María Teresa González de Lena Alonso
- José Antonio Santos Arnaiz
- Isaac Martín de Diego
- José Antonio Rodríguez García
- Joaquín Arias Herrero
- María Mar Moreno Rebato
Investigadores o Técnicos:
- Aitor López Sánchez
- Andrés Holgado Sánchez
- Alejandro Delgado Peribañez
- Marin Lujak
- Jorge Gutiérrez Cejudo
- Andrea Condado Gómez
- Marcelo Javier Karanik
Otros colaboradores:
- RALF BRUNS
- María del Carmen Fernández Martínez
- Marija Slavkovik
- SABINE BRUNS-VIETOR
- Iván Bernabé Sánchez
- Jürgen Dunkel
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:
- Holger Billhardt
- Alberto Fernández Gil
- José Antonio Santos Arnaiz
- Dirk Sascha Ossowski
- María Mar Moreno Rebato
- Joaquín Arias Herrero
- José Antonio Rodríguez García
Investigadores o Técnicos:
Otros colaboradores:
- María del Carmen Fernández Martínez
- Luis Peña Sánchez
- Roberto Centeno Sánchez
- Kendal Cousy
- Iván Bernabé Sánchez
Fecha inicio: 01/01/22
Fecha fin: 31/12/23
Entidad financiadora: UNIVERSIDAD REY JUAN CARLOS
Referencia externa:
Referencia interna: M3101Investigador/es principal/es:
Investigadores:
Fecha inicio: 01/12/22
Fecha fin: 30/11/26
Entidad financiadora: European commision
Referencia externa: 2022-1-IT02-KA220-HED-000090206
Referencia interna: F938Investigador/es principal/es:
Investigadores:
- Alberto Hernando García-Cervigón
- María Belén Fernández de Alarcón Roca
- Beatriz Soto Aranda
- Laura Sanz Simón
- Patricia Carolina Bonnin Arias
- Esther González Hernández
- Alberto Fernández Gil
- Joaquín Arias Herrero
- María Pilar Martino Alba
- Mario Pedrazuela Fuentes
- María Palma Peña Jiménez
- Gaël Turianne Valentine Leveder-Le Pottier
- Elena Shorokhova
- Irene Carpintero Gallego
- María Inmaculada Cobos Fernández
Investigadores o Técnicos:
Otros colaboradores:
- SUSANA GALA PELLICER
- María Azucena Penas Ibáñez
- Elena Gayarz�bal Heinze
- Beatriz M�ndez Guerrero
- Irene Hidalgo De la Gu�a
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
- Joaquín Arias Herrero
- Holger Billhardt
- José Antonio Rodríguez García
- Dirk Sascha Ossowski
- José Antonio Santos Arnaiz
- María Mar Moreno Rebato
Investigadores o Técnicos:
Otros colaboradores:
- María del Carmen Fernández Martínez
- SABINE BRUNS-VIETOR
- Jürgen Dunkel
- Kendal Cousy
- Iván Bernabé Sánchez
- RALF BRUNS
- Elizabeth Sklar
-
- Google Scholar: hPA523AAAAAJ
- ORCID: 0000-0003-4148-311X
-
Publicaciones