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

Actividades

Preface

  • Amin N
  • Arias J

Lecture Notes In Computer Science - 1/1/2026

  • ISSN 03029743
  • iMarina

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP

  • Murugesan, A
  • Wong, I
  • Arias, J
  • Stroud, R
  • Varadarajan, S
  • Salazar, E
  • Gupta, G
  • Bloomfield, R
  • Rushby, J
... Ver más Contraer

Theory And Practice Of Logic Programming (p. 805-824) - 1/7/2024

10.1017/s1471068424000425 Ver en origen

  • ISSN 14710684

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming

  • Vasicek, O
  • Arias, J
  • Fiedor, J
  • Gupta, G
  • Hall, B
  • Krena, B
  • Larson, B
  • Varanasi, SC
  • Vojnar, T
... Ver más Contraer

Theory And Practice Of Logic Programming (p. 844-862) - 1/7/2024

10.1017/s1471068424000280 Ver en origen

  • ISSN 14710684

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

  • Zeng, YK
  • Rajasekharan, A
  • Basu, K
  • Wang, HD
  • Arias, J
  • Gupta, G

Theory And Practice Of Logic Programming (p. 606-627) - 1/7/2024

10.1017/s147106842400022x Ver en origen

  • ISSN 14710684

Automated legal reasoning with discretion to act using s(LAW)

  • Arias, Joaquin
  • Moreno-Rebato, Mar
  • Rodriguez-Garcia, Jose A
  • Ossowski, Sascha

Artificial Intelligence And Law (p. 1141-1164) - 1/12/2024

10.1007/s10506-023-09376-5 Ver en origen

  • ISSN 15728382

Preface

  • Arias J

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

Lecture Notes in Computer Science

  • Josep Domingo i Ferrer, Daniel Schreckling, Joachim Possega

(p. 49-62) - 1/1/2021

10.1007/978-3-031-08740-0_12 Ver en origen

Este/a investigador/a no tiene libros.

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

C3G: Causally Constrained Counterfactual Generation

  • Dasgupta, S
  • Shakerin, F
  • Arias, J
  • Salazar, E
  • Gupta, G

Lecture Notes In Computer Science (p. 215-232) - 1/1/2025

10.1007/978-3-031-84924-4_14 Ver en origen

  • ISSN 03029743

MC3G: Model Agnostic Causally Constrained Counterfactual Generation

  • Dasgupta
  • S
  • Halim
  • S
  • Arias
  • J
  • Salazar
  • E
  • Gupta
  • G
... Ver más Contraer

Proceedings Of Machine Learning Research - 1/1/2025

  • iMarina

Value Learning for Value-Aligned Route Choice Modeling via Inverse Reinforcement Learning

  • Holgado-Sanchez, Andres
  • Bajo, Javier
  • Billhardt, Holger
  • Ossowski, Sascha
  • Arias, Joaquin

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 40-60) - 1/1/2025

10.1007/978-3-031-85463-7 Ver en origen

  • ISSN 29459133

Opportunities and Challenges of the Use of Forgetting in Symbolic XAI

  • Arias, Joaquin
  • Degli-Esposti, Sara
  • Hernandez-Perez, Jose Walter
  • Fidilio-Allende, Luciana
  • Ossowski, Sascha

14th Conference on Artificial Intelligence in Medicine, AIME 2013 (p. 225-239) - 1/1/2025

10.1007/978-3-031-85463-7_14 Ver en origen

  • ISSN 29459133

On Value-Aligned Cooperative Multi-agent Task Allocation

  • Lujak, Marin
  • Fernandez, Alberto
  • Billhardt, Holger
  • Ossowski, Sascha
  • Arias, Joaquin
  • Lopez Sanchez, Aitor

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 197-216) - 1/1/2024

10.1007/978-3-031-58202-8_12 Ver en origen

  • ISSN 29459133

Towards value-awareness in administrative processes: an approach based on constraint answer set programming

  • Arias, Joaquin
  • Moreno-Rebato, Mar
  • Rodriguez-Garcia, Jose A
  • Ossowski, Sascha

(p. 770-778) - 1/1/2024

10.1145/3605098.3636022 Ver en origen

Algorithms for Learning Value-Aligned Policies Considering Admissibility Relaxation

  • Holgado-Sanchez, Andres
  • Arias, Joaquin
  • Billhardt, Holger
  • Ossowski, Sascha

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 145-164) - 1/1/2024

10.1007/978-3-031-58202-8_9 Ver en origen

  • ISSN 29459133

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis

  • Varadarajan, S
  • Bloomfield, R
  • Rushby, J
  • Gupta, G
  • Murugesan, A
  • Stroud, R
  • Netkachova, K
  • Wong, IH
  • Arias, J
... Ver más Contraer

Lecture Notes In Computer Science (p. 173-187) - 1/1/2024

10.1007/978-3-031-68738-9_13 Ver en origen

  • ISSN 03029743

Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

  • Zeng Y
  • Rajashekharan A
  • Basu K
  • Wang H
  • Arias J
  • Gupta G

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

Computational Thinking with Logic Programming

  • Gupta G
  • Salazar E
  • Arias J

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

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

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

Ingeniería de valores en IA social-Aprendizaje de Valores en IA Social.

  • Gupta, Gopal (Investigador/a)
  • Slavkovik, Marija (Investigador/a)
  • BRUNS, RALF (Investigador/a)
  • Kirrane, Sabrina (Investigador/a)
  • Fernández Martínez, María del Carmen (Investigador/a)
  • Mihailescu, Radu Casian (Investigador/a)
  • Holgado Sánchez, Andrés (Investigador/a)
  • Moreno Rebato, María Mar (Investigador/a)
  • Bernabé Sánchez, Iván (Investigador/a)
  • Rodríguez García, José Antonio (Investigador/a)
  • Arias Herrero, Joaquín (Investigador principal (IP))
  • Fidilio Allende, Luciana Camila (Investigador/a)
  • Karanik, Marcelo Javier (Investigador/a)
  • Ossowski, Dirk Sascha (Investigador/a)
  • Billhardt, Holger (Investigador principal (IP))
  • Alonso Fernández, Eduardo (Investigador/a)
... Ver más Contraer

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

  • 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: 4/08/26 20:37