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

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

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

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

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

  • ISSN 15728382

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

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

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

  • Xu, ZS
  • Arias, J
  • Salazar, E
  • Chen, Z
  • Varanasi, SC
  • Basu, K
  • Gupta, G
... 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

Value awareness and process automation: a reflection through school place allocation models

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

Ceur Workshop Proceedings - 1/1/2023

  • ISSN 16130073
  • iMarina

On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents

  • Holgado-Sánchez A
  • Arias J
  • Moreno-Rebato M
  • Ossowski S

Lecture Notes In Computer Science (p. 415-424) - 1/1/2023

10.1007/978-3-031-43264-4_27 Ver en origen

  • ISSN 03029743

Semantic Analysis of Assurance Cases using s(CASP)

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

Ceur Workshop Proceedings - 1/1/2023

  • ISSN 16130073
  • iMarina

Teach the importance of logic (programming) in Computer Science and why it is important

  • Arias J

25th International Symposium On Computers In Education, Siie 2023 - 1/1/2023

10.1109/siie59826.2023.10423714 Ver en origen

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

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: 13/02/25 17:05