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

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

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

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

Este/a investigador/a no tiene libros.

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

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
... Ver más Contraer

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 Ver en origen

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
... Ver más Contraer

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
... Ver más Contraer

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 Ver en origen

  • 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;
... 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

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
... Ver más Contraer

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

10.4204/eptcs.344.6 Ver en origen

  • 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

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