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.
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
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
- iMarina
- 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;
Lecture Notes In Computer Science (p. 261-278) - 1/1/2023
10.1007/978-3-031-24841-2_17 Ver en origen
- ISSN 03029743
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
- Arias, J
- Carro, M
- Salazar, E
- Gupta, G
Lecture Notes In Computer Science (p. 117-134) - 1/1/2022
10.1007/978-3-030-94479-7_8 Ver en origen
- ISSN 03029743
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
- Varanasi SC
- Arias J
- Salazar E
- Li F
- Basu K
- Gupta G
Lecture Notes In Computer Science (p. 181-190) - 1/1/2022
10.1007/978-3-030-94479-7_12 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
Electronic Proceedings In Theoretical Computer Science (p. 79-90) - 1/1/2021
10.4204/eptcs.344.6 Ver en origen
- ISSN 20752180
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Arias J
- Chen Z
- Carro M
- Gupta G
Electronic Proceedings In Theoretical Computer Science (p. 166-168) - 1/1/2022
10.4204/eptcs.364.24 Ver en origen
- ISSN 14710684
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
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