RDF/XML JSON-LD N3/Turtle RDF/JSON

Arias Herrero, Joaquín joaquin.arias@urjc.es

Ciencias de la Computación, Arquitectura de Computadores, Lenguajes y Sistemas Informáticos y Estadística e Investigación Operativa / Universidad Rey Juan Carlos

Building Information Modeling Using Constraint Logic Programming

  • Arias, Joaquin
  • Torma, Seppo
  • Carro, Manuel
  • Gupta, Gopal;

Theory And Practice Of Logic Programming (p. 723-738) - 1/1/2022

10.1017/s1471068422000138 Ver en origen

  • ISSN 14710684

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

  • Arias, Joaquin
  • Carro, Manuel;

Theory And Practice Of Logic Programming (p. 1107-1123) - 1/9/2019

10.1017/s1471068419000383 Ver en origen

  • ISSN 14710684

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

  • Arias, Joaquin
  • Carro, Manuel;

Theory And Practice Of Logic Programming (p. 412-448) - 1/5/2019

10.1017/s1471068418000571 Ver en origen

  • ISSN 14710684

Constraint Answer Set Programming without Grounding

  • Arias, Joaquin
  • Carro, Manuel
  • Salazar, Elmer
  • Marple, Kyle
  • Gupta, Gopal;

Theory And Practice Of Logic Programming (p. 337-354) - 1/7/2018

10.1017/s1471068418000285 Ver en origen

  • ISSN 14710684

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming

  • Xu, Zesheng
  • Arias, Joaquin
  • Salazar, Elmer
  • Chen, Zhuo
  • Varanasi, Sarat Chandra
  • Basu, Kinjal
  • Gupta, Gopal;
... Ver más Contraer

Lecture Notes In Computer Science (p. 261-278) - 1/1/2023

10.1007/978-3-031-24841-2_17 Ver en origen

  • ISSN 03029743

An s(CASP) In-Browser Playground based on Ciao Prolog

  • García-Pradales G
  • Morales JF
  • Hermenegildo M
  • Arias J
  • Carro M

Ceur Workshop Proceedings - 1/1/2022

  • ISSN 16130073
  • iMarina

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming

  • Arias J
  • Carro M
  • Salazar E
  • Gupta G

Lecture Notes In Computer Science (p. 117-134) - 1/1/2022

10.1007/978-3-030-94479-7_8 Ver en origen

  • ISSN 03029743

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

  • Arias J
  • Carro M
  • Chen Z
  • Gupta G

Electronic Proceedings In Theoretical Computer Science (p. 166-168) - 1/1/2022

10.4204/eptcs.364.24 Ver en origen

  • ISSN 14710684

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)

  • Varanasi SC
  • Arias J
  • Salazar E
  • Li F
  • Basu K
  • Gupta G

Lecture Notes In Computer Science (p. 181-190) - 1/1/2022

10.1007/978-3-030-94479-7_12 Ver en origen

  • ISSN 03029743

LTL Model Checking using Coinductive Answer Set programming

  • Varanasi SC
  • Saeedloei N
  • Salazar E
  • Arias J
  • Gupta G

CEUR Workshop Proceedings - 1/1/2022

  • ISSN 16130073
  • iMarina

Tutorial: Automating Commonsense Reasoning

  • Gupta G
  • Salazar E
  • Varanasi SC
  • Basu K
  • Arias J
  • Shakerin F
  • Li F
  • Wang H
... Ver más Contraer

CEUR Workshop Proceedings - 1/1/2022

  • ISSN 16130073
  • iMarina

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy

  • Basu K
  • Salazar E
  • Wang H
  • Arias J
  • Padalkar P
  • Gupta G

CEUR Workshop Proceedings - 1/1/2022

  • ISSN 16130073
  • iMarina

Modeling Administrative Discretion Using Goal-Directed Answer Set Programming

  • Arias J
  • Moreno-Rebato M
  • Rodriguez-García JA
  • Ossowski S

CEUR Workshop Proceedings (p. 258-267) - 1/1/2022

10.1007/978-3-030-85713-4_25 Ver en origen

  • ISSN 16130073

A short tutorial on s(CASP), a goal-directed execution of constraint answer set programs

  • Arias J
  • Gupta G
  • Carro M

Ceur Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Inteligencia Artificial Explicable para Automatizar Procesos Legales y Administrativos Discrecionales.

  • Moreno Rebato, María Mar (Investigador/a)
  • Rodríguez García, José Antonio (Investigador/a)
  • Santos Arnaiz, José Antonio (Investigador/a)
  • Billhardt, Holger (Investigador/a)
  • Ossowski, Dirk Sascha (Investigador/a)
  • Fernández Gil, Alberto (Investigador/a)
  • Arias Herrero, Joaquín (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-01-2023 - 31-12-2023

  • iMarina

Servicios inteligentes Coordinados para Áreas inteligentes Adaptativas.

  • BRUNS-VIETOR, SABINE (Investigador/a)
  • BRUNS, RALF (Investigador/a)
  • Fernández Martínez, María del Carmen (Investigador/a)
  • Cousy, Kendal (Investigador/a)
  • DUNKEL, JÜRGEN (Investigador/a)
  • Bernabé Sánchez, Iván (Investigador/a)
  • Sklar, Elizabeth (Investigador/a)
  • Karanik, Marcelo Javier (Investigador/a)
  • Lujak, Marin (Investigador/a)
  • Billhardt, Holger (Investigador/a)
  • Ossowski, Dirk Sascha (Investigador/a)
  • Arias Herrero, Joaquín (Investigador/a)
  • Rodríguez García, José Antonio (Investigador/a)
  • López Sánchez, Aitor (Investigador/a)
  • Moreno Rebato, María Mar (Investigador/a)
  • Santos Arnaiz, José Antonio (Investigador/a)
  • Fernández Gil, Alberto (Investigador/a)
... Ver más Contraer

Ejecución: 01-09-2022 - 31-08-2025

  • iMarina

Mantenimiento y consultoría de s(CASP)

  • Arias Herrero, Joaquín (Investigador principal (IP))

Ejecución: 01-08-2022 - 31-07-2023

  • iMarina

Ingeniería de valores en sistemas de IA. Subproyecto: Sistemas conscientes de los valores.

  • BRUNS-VIETOR, SABINE (Investigador/a)
  • BRUNS, RALF (Investigador/a)
  • Fernández Martínez, María del Carmen (Investigador/a)
  • Slavkovik, Marija (Investigador/a)
  • DUNKEL, JÜRGEN (Investigador/a)
  • Bernabé Sánchez, Iván (Investigador/a)
  • Karanik, Marcelo Javier (Investigador/a)
  • Lujak, Marin (Investigador/a)
  • Billhardt, Holger (Investigador/a)
  • Ossowski, Dirk Sascha (Investigador/a)
  • Condado Gómez, Andrea (Investigador/a)
  • Martín de Diego, Isaac (Investigador/a)
  • Delgado Peribañez, Alejandro (Investigador/a)
  • Arias Herrero, Joaquín (Investigador/a)
  • Rodríguez García, José Antonio (Investigador/a)
  • Martínez Moguerza, Javier (Investigador/a)
  • López Sánchez, Aitor (Investigador principal (IP))
  • Gutiérrez Cejudo, Jorge (Investigador/a)
  • Moreno Rebato, María Mar (Investigador/a)
  • Holgado Sánchez, Andrés (Investigador/a)
  • Fernández Isabel, Alberto (Investigador/a)
  • Santos Arnaiz, José Antonio (Investigador/a)
  • González de Lena Alonso, María Teresa (Investigador/a)
  • Fernández Gil, Alberto (Investigador/a)
... Ver más Contraer

Ejecución: 01-12-2022 - 31-12-2024

  • iMarina

Scaffolding Online University Learning: Support Systems

  • GALA PELLICER, SUSANA (Investigador/a)
  • Penas Ibáñez, María Azucena (Investigador/a)
  • a, Irene (Investigador/a)
  • Hidalgo De la Gu&#65533 (Investigador/a)
  • bal Heinze, Elena (Investigador/a)
  • Gayarz&#65533 (Investigador/a)
  • ndez Guerrero, Beatriz (Investigador/a)
  • M&#65533 (Investigador/a)
  • Shorokhova, Elena (Investigador/a)
  • Leveder-Le Pottier, Gaël Turianne Valentine (Investigador/a)
  • Bonnin Arias, Patricia Carolina (Investigador/a)
  • Arias Herrero, Joaquín (Investigador/a)
  • Hernando García-Cervigón, Alberto (Investigador/a)
  • Fernández de Alarcón Roca, María Belén (Investigador/a)
  • Martino Alba, María Pilar (Investigador/a)
  • Carpintero Gallego, Irene (Investigador/a)
  • Soto Aranda, Beatriz (Investigador/a)
  • Cobos Fernández, María Inmaculada (Investigador/a)
  • Peña Jiménez, María Palma (Investigador/a)
  • Candorcio Rodríguez, Natalia (Investigador principal (IP))
  • Sanz Simón, Laura (Investigador/a)
  • Pedrazuela Fuentes, Mario (Investigador/a)
  • López Galisteo, Antonio Julio (Investigador/a)
  • Fernández Gil, Alberto (Investigador/a)
  • González Hernández, Esther (Investigador/a)
... Ver más Contraer

Ejecución: 01-12-2022 - 30-11-2026

  • iMarina

EIT Doctoral School Business Development Experience

  • Arias Herrero, Joaquín (Investigador principal (IP))

Ejecución: 01-01-2022 - 31-12-2023

  • iMarina

CitizenLAB-Entorno de experimentación y desarrollo de un modelo predictivo integral de comportamiento ciudadano individual y organizacional

  • Aceña Gil, Víctor (Investigador/a)
  • Rodríguez Fernández, Rubén (Investigador/a)
  • Martín Sánchez, Francisco (Investigador/a)
  • Fernández Vicente, Eugenio José (Investigador/a)
  • MORATILLA OCAÑA, ANTONIO (Investigador/a)
  • Lujak, Marin (Investigador principal (IP))
  • Ossowski, Dirk Sascha (Investigador/a)
  • Lancho Martín, María del Carmen (Investigador/a)
  • Martín de Diego, Isaac (Investigador principal (IP))
  • Arias Herrero, Joaquín (Investigador/a)
  • Martínez Moguerza, Javier (Investigador/a)
  • Alfaro Gimeno, César (Investigador/a)
  • Gómez Miguel, Javier (Investigador/a)
  • Cuesta Santa Teresa, Marina (Investigador/a)
  • López Cano, Emilio (Investigador/a)
  • Granada Mejía, Juan David (Investigador/a)
  • Alonso Ayuso, Antonio (Investigador/a)
  • Fernández Isabel, Alberto (Investigador/a)
... Ver más Contraer

Ejecución: 20-12-2019 - 30-11-2023

  • iMarina

Movilidad Inteligente y Sostenible: Infraestructura y Transporte Colaborativo

  • Centeno Sánchez, Roberto (Investigador/a)
  • Fernández Martínez, María del Carmen (Investigador/a)
  • Peña Sánchez, Luis (Investigador/a)
  • Cousy, Kendal (Investigador/a)
  • Bernabé Sánchez, Iván (Investigador/a)
  • Karanik, Marcelo Javier (Investigador/a)
  • Lujak, Marin (Investigador/a)
  • Billhardt, Holger (Investigador/a)
  • Ossowski, Dirk Sascha (Investigador/a)
  • Arias Herrero, Joaquín (Investigador/a)
  • Rodríguez García, José Antonio (Investigador/a)
  • López Sánchez, Aitor (Investigador/a)
  • Moreno Rebato, María Mar (Investigador/a)
  • Santos Arnaiz, José Antonio (Investigador/a)
  • Fernández Gil, Alberto (Investigador/a)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-09-2022

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 12/08/23 3:08