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

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

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

  • ISSN 14710684

This researcher has no books.

This researcher has no book chapters.

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

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

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

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

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

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

  • 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

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: 3/5/24 4:51 PM