Arias Herrero, Joaquín joaquin.arias@urjc.es
Actividades
- Artículos 4
- Libros 0
- Capítulos de libro 0
- Congresos 19
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
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
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
- Dialnet
- 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
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
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
- iMarina
- iMarina
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
CEUR Workshop Proceedings - 1/1/2021
- ISSN 16130073
- iMarina
Modeling and verification of timed systems with the event calculus and s(CASP)
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.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id