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.
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
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 View at source
- 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 View at source
- ISSN 14710684
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 View at source
- 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 View at source
- ISSN 03029743
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 View at source
- 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 View at source
- ISSN 03029743
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 View at source
- iMarina
- iMarina
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
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