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

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 J
  • Carro M

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
  • Chen Z
  • Carro M
  • 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.

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: 5/03/24 16:51