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

Publications

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
... View more Collapse

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

10.1017/s1471068424000425 View at source

  • 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
... View more Collapse

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

10.1017/s1471068424000280 View at source

  • ISSN 14710684

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

  • Zeng, Yankai
  • Rajasekharan, Abhiramon
  • Basu, Kinjal
  • Wang, Huaduo
  • Arias, Joaquin
  • Gupta, Gopal

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

10.1017/s147106842400022x View at source

  • 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 View at source

  • ISSN 15728382

Preface

  • Arias J

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

Building Information Modeling Using Constraint Logic Programming

  • Arias, J
  • Törmä, S
  • Carro, M
  • Gupta, G

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

10.1017/s1471068422000138 View at source

  • ISSN 14710684

Lecture Notes in Computer Science

  • Josep Domingo i Ferrer, Daniel Schreckling, Joachim Possega

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

  • iMarina

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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN 14710684

This researcher has no books.

Prolog: Past, Present, and Future

  • Gupta G
  • Salazar E
  • Shakerin F
  • Arias J
  • Varanasi SC
  • Basu K
  • Wang H
  • Li F
  • Erbatur S
  • Padalkar P
  • Rajasekharan A
  • Zeng Y
  • Carro M
... View more Collapse

Lecture Notes In Computer Science (p. 48-61) - 1/1/2023

10.1007/978-3-031-35254-6_4 View at source

  • ISSN 03029743

Private-Safe (Logic-Based) Decision Systems for Energy Assignment in Agricultural Cooperatives

  • Fidilio-Allende L
  • Arias J

Communications In Computer And Information Science (p. 40-51) - 1/1/2025

10.1007/978-3-031-73058-0_4 View at source

  • ISSN 18650929

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

  • Holgado-Sánchez A
  • Bajo J
  • Billhardt H
  • Ossowski S
  • Arias J

Lecture Notes In Computer Science (p. 40-60) - 1/1/2025

10.1007/978-3-031-85463-7_3 View at source

  • ISSN 03029743

On Value-Aligned Cooperative Multi-agent Task Allocation

  • Lujak, M
  • Fernández, A
  • Billhardt, H
  • Ossowski, S
  • Arias, J
  • Sánchez, AL

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

10.1007/978-3-031-58202-8_12 View at source

  • ISSN 16113349

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

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

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

10.1145/3605098.3636022 View at source

Algorithms for Learning Value-Aligned Policies Considering Admissibility Relaxation

  • Holgado-Sánchez, A
  • Arias, J
  • Billhardt, H
  • Ossowski, S

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

10.1007/978-3-031-58202-8_9 View at source

  • ISSN 16113349

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
... View more Collapse

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

10.1007/978-3-031-68738-9_13 View at source

  • 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

Extended abstract: fCASP - A forgetting technique for XAI based on goal-directed constraint ASP models

  • Fidilio-Allende L
  • Arias J

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming

  • Vašíček O
  • Arias J
  • Fiedor J
  • Gupta G
  • Hall B
  • Bohuslav K
  • Larson B
  • Varanasi SC
  • Vojnar T
... View more Collapse

Ceur Workshop Proceedings - 1/1/2024

  • ISSN 16130073
  • iMarina

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 11/24/25 11:32 PM