Get started
Author

Joaquín Arias

Observed names: Arias, Joaquin, Arias, Joaquín, JOAQUIN ARIAS, JOAQUÍN ARIAS, Joaquin Arias
ORCID: 0000-0003-4148-311X
Observed ORCID: 0000-0003-4148-311X
OpenAlex ID: A5076970918
Constraint Answer Set Programming without Grounding
2018 · JOAQUIN ARIAS, MANUEL CARRO, et al. · Theory and Practice of Logic Programming · 88
PDF
Justifications for Goal-Directed Constraint Answer Set Programming
2020 · Joaquín Arias, Manuel Carro, et al. · Electronic Proceedings in Theoretical Computer Science · 34
PDF
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
2023 · Yankai Zeng, Abhiramon Rajasekharan, et al. · Lecture notes in computer science · 14
PDF
Building Information Modeling Using Constraint Logic Programming
2022 · JOAQUÍN ARIAS, SEPPO TÖRMÄ, et al. · Theory and Practice of Logic Programming · 14
PDF
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
2021 · JOAQUÍN ARIAS, MANUEL CARRO, et al. · Theory and Practice of Logic Programming · 14
PDF
Automated legal reasoning with discretion to act using s(LAW)
2023 · Joaquín Arias, Mar Moreno-Rebato, et al. · Artificial Intelligence and Law · 12
PDF
Knowledge-driven Natural Language Understanding of English Text and its Applications
2021 · Basu, Kinjal, Varanasi, Sarat Chandra, et al. · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 10
PDF
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
2021 · Joaquín Arias, Mar Moreno-Rebato, et al. · Lecture notes in computer science · 9
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
2024 · ANITHA MURUGESAN, ISAAC WONG, et al. · Theory and Practice of Logic Programming · 8
PDF
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
2020 · Joaquín Arias, Zhuo Chen, et al. · Lecture notes in computer science · 8
PDF
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
2022 · Sarat Chandra Varanasi, Joaquín Arias, et al. · Lecture notes in computer science · 7
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
2024 · YANKAI ZENG, ABHIRAMON RAJASEKHARAN, et al. · Theory and Practice of Logic Programming · 6
PDF
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming
2023 · Zesheng Xu, Joaquín Arias, et al. · Lecture notes in computer science · 6
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
2024 · Srivatsan Varadarajan, Robin Bloomfield, et al. · Lecture notes in computer science · 5
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
2019 · JOAQUÍN ARIAS, MANUEL CARRO · Theory and Practice of Logic Programming · 5
C3G: Causally Constrained Counterfactual Generation
2025 · Sopam Dasgupta, Farhad Shakerin, et al. · Lecture notes in computer science · 4
Prolog: Past, Present, and Future
2023 · Gopal Gupta, Elmer Salazar, et al. · Lecture notes in computer science · 4
Constraint Answer Set Programming without grounding and its applications
2019 · Joaquín Arias, Manuel Carro Liñares, et al. · Hispana · 4
Tabled CLP for Reasoning Over Stream Data
2016 · Arias, Joaquín · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming
2024 · ONDŘEJ VAŠÍČEK, JOAQUIN ARIAS, et al. · Theory and Practice of Logic Programming · 3
PDF
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents
2023 · Andrés Holgado-Sánchez, Joaquín Arias, et al. · Lecture notes in computer science · 3
Knowledge-driven Natural Language Understanding of English Text and its Applications
2021 · Kinjal Basu, Sarat Chandra Varanasi, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 3
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
2018 · Joaquín Arias, Manuel Carro · Lecture notes in computer science · 3
Description and evaluation of a generic design to integrate CLP and tabled execution
2016 · Joaquín Arias, Manuel Carro · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 3
Value Learning for Value-Aligned Route Choice Modeling via Inverse Reinforcement Learning
2025 · Andrés Holgado-Sánchez, Javier Bajo, et al. · Lecture notes in computer science · 2
PDF
Works count: 65
Citation count: 288
H-index: 8
I10-index: 7
Year
Topic
Type