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

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

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

Este/a investigador/a no tiene libros.

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

s(CASP) for SWI-prolog

  • Wielemaker J
  • Arias J
  • Gupta G

CEUR Workshop Proceedings - 1/1/2021

  • 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

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

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 and verification of timed systems with the event calculus and s(CASP)

  • Varanasi SC
  • Hall B
  • Arias J
  • Salazar E
  • Li F
  • Basu K
  • Driscoll K
  • Gupta G
... Ver más Contraer

CEUR Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

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

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

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

Knowledge-driven Natural Language Understanding of English Text and its Applications

  • Basu K
  • Varanasi SC
  • Shakerin F
  • Arias J
  • Gupta G

Thirty-Third Aaai Conference On Artificial Intelligence / Thirty-First Innovative Applications Of Artificial Intelligence Conference / Ninth Aaai Symposium On Educational Advances In Artificial Intelligence (p. 12554-12563) - 1/1/2021

  • ISSN 21595399
  • 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