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

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

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

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

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

This researcher has no books.

This researcher has no book chapters.

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

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

Applications of goal-directed answer set programming to avionics industry

  • Hall B
  • Varanasi SC
  • Fiedor J
  • Arias J
  • Basu K
  • Li F
  • Bhatt D
  • Driscoll K
  • Salazar E
  • Gupta G
... View more Collapse

CEUR Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution

  • ARIAS HERRERO, JOAQUIN
  • CARRO LIÑARES, MANUEL

Proceedings Of The 18th International Symposium On Principles And Practice Of Declarative Programming (Ppdp 2016) (p. 10-23) - 5/9/2016

10.1145/2967973.2968596 View at source

Evaluación de competencias docentes parala inclusión y la excelencia: Resultados preliminares sobre la percepción del profesorado

  • Mercedes García García
  • Chantal Biencinto López
  • Elvira Carpintero Molina
  • Patricia Villamor Manero
  • Celia Rosa Camilli Trujillo
  • Lorena Pastor Gil
  • Sara Serrano Díaz
  • María Huetos Domínguez
  • María Cristina Núñez del Rio
  • Joaquin Arias Herrero
  • Juan Luis Bravo Ramos
  • Arturo Caravantes Redondo
  • Juan Carlos del Mazo Blázquez
  • Silvia Martínez Cano
  • José Antonio Sánchez Núñez
  • Daniel González González
  • José Miguel Arias Blanco
  • María Henar Pérez Herrero
  • Joaquín Lorenzo Burguera Condón
  • Blanca Arteaga Martínez
  • Paola Perochena González
  • Ana I Manzanal Martínez
  • Mercedes Querol Julián
  • Fermín Navaridas Nalda
  • María Asunción Jiménez Trens
  • Miriam Prieto Egido
  • Inmaculada Chiva Sanchís
  • Genoveva Ramos Santana
... View more Collapse

Actas XVIII Congreso Internacional de Investigación Educativa: interdisciplinariedad y transferencia (AIDIPE, 2017) (p. 699-708) - 1/1/2017

Editor: Asociacion Interuniversitaria de Investigacion Pedagógica (AIDIPE)

  • ISSN/ISBN 978-84-697-4106-1

Formalizing informal logic and natural language deductivism

  • Gupta G
  • Varanasi S
  • Basu K
  • Chen Z
  • Salazar E
  • Shakerin F
  • Erbatur S
  • Li F
  • Wang H
  • Xu Z
  • Arias J
  • Hall B
  • Driscoll K
... View more Collapse

CEUR Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP

  • Arias J
  • Carro M

Lecture Notes In Computer Science (p. 98-114) - 1/1/2019

10.1007/978-3-030-05998-9_7 View at source

  • ISSN 03029743

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

Lecture Notes In Computer Science (p. 261-278) - 1/1/2023

10.1007/978-3-031-24841-2_17 View at source

  • ISSN 03029743

Knowledge-assisted reasoning of model-augmented system requirements with event calculus and goal-directed answer set programming

  • Hall B
  • Varanasi SC
  • Fiedor J
  • Arias J
  • Basu K
  • Li F
  • Bhatt D
  • Driscoll K
  • Salazar E
  • Gupta G
... View more Collapse

Electronic Proceedings In Theoretical Computer Science (p. 79-90) - 1/1/2021

10.4204/eptcs.344.6 View at source

  • ISSN 20752180

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