-
Acrónimo: GIA
Correo: gr_inv.gia@urjc.es
Web: AccederNúmero de investigadores: 18Número de quinquenios: 18Número de Docentia: 17Número de sexenios investigación: 16Nú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: 8Número de Docentia: 11Número de sexenios investigación: 4Nú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 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) LOGICA (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES) LOGICA
-
CURSO PLAN ASIGNATURA 2022-23 (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) INTELIGENCIA ARTIFICIAL 2022-23 (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) PROGRAMACION DECLARATIVA 2022-23 (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES) INTELIGENCIA ARTIFICIAL 2022-23 (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES) PROGRAMACION DECLARATIVA 2022-23 (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) INTELIGENCIA ARTIFICIAL 2022-23 (2118) DOBLE GRADO EN INGENIERIA DEL SOFTWARE Y MATEMATICAS (MOSTOLES) I INGENIERIA DEL CONOCIMIENTO 2022-23 (2316) DOBLE GRADO EN INGENIERIA DEL SOFTWARE Y MATEMATICAS (MOSTOLES) II INGENIERIA DEL CONOCIMIENTO 2022-23 (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES) INTELIGENCIA ARTIFICIAL 2022-23 (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES) PROGRAMACION DECLARATIVA 2022-23 (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I INTELIGENCIA ARTIFICIAL 2022-23 (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I PROGRAMACION DECLARATIVA 2022-23 (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II INTELIGENCIA ARTIFICIAL 2022-23 (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II PROGRAMACION DECLARATIVA 2022-23 (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) INTELIGENCIA ARTIFICIAL 2022-23 (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) LOGICA 2022-23 (2034) GRADO EN INGENIERIA DEL SOFTWARE (MOSTOLES) INGENIERIA DEL CONOCIMIENTO 2022-23 (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) INTELIGENCIA ARTIFICIAL 2022-23 (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) PROGRAMACION DECLARATIVA 2022-23 (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) INTELIGENCIA ARTIFICIAL 2022-23 (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES) LOGICA 2022-23 (2361) GRADO EN INTELIGENCIA ARTIFICIAL (MOSTOLES) PROGRAMACION DECLARATIVA 2022-23 (6355) MÁSTER INTERUNIVER EN INTELIGENCIA ARTIFICIAL PARA EL SECTOR ENERG Y 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
- María Medina Alcoz
- 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
- Antonio Julio López Galisteo
- Gaël Turianne Valentine Leveder-Le Pottier
- Elena Shorokhova
- Nuria García Manzanares
- Irene Carpintero Gallego
- María Inmaculada Cobos Fernández
Investigadores o Técnicos:
Otros colaboradores:
- Elena Gayarz�bal Heinze
- SUSANA GALA PELLICER
- María Azucena Penas Ibáñez
- 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