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

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, 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 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

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 Ver en origen

  • 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 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.

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
... Ver más Contraer

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

10.1007/978-3-031-35254-6_4 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

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 Ver en origen

  • 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
... 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

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
... Ver más Contraer

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.

Este/a investigador/a no tiene proyectos de investigación.

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: 24/11/25 23:32