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.

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

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

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

s(CASP) for SWI-prolog

  • Wielemaker J
  • Arias J
  • Gupta G

CEUR Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

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

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

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