Arias Herrero, Joaquín joaquin.arias@urjc.es
Publications
- Articles 4
- Books 0
- Book chapters 0
- Conferences 19
- Working papers 0
- Technical reports 0
- Research projects 0
- Supervised theses 0
- Patent or software license 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 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
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
This researcher has no books.
This researcher has no book chapters.
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 View at source
- 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
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.
Research groups
Researcher profiles
-
ORCID
-
Scopus Author ID
-
Dialnet id