Joaquín Arias

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 51

Top Topics

Constraint Logic Programming

Natural Language Understanding

Answer Set Programming

Conversational Agents

Top Venues

Theory Pract. Log. Program.

Publications

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Generation with Answer Set Programming. CoRR (2024)
Andrés Holgado-Sánchez, Joaquín Arias, Holger Billhardt, Sascha Ossowski
Algorithms for learning value-aligned policies considering admissibility relaxation. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. CoRR (2024)
Joaquín Arias, Mar Moreno-Rebato, José Antonio Rodríguez-García, Sascha Ossowski
Towards value-awareness in administrative processes: an approach based on constraint answer set programming. SAC (2024)
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. PADL (2024)
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
Automated legal reasoning with discretion to act using s(LAW). CoRR (2024)
Joaquín Arias
Teach the importance of logic (programming) in Computer Science and why it is important. SIIE (2023)
Marin Lujak, Alberto Fernández, Holger Billhardt, Sascha Ossowski, Joaquín Arias, Aitor López Sánchez
On Value-Aligned Cooperative Multi-agent Task Allocation. VALE (2023)
Andrés Holgado-Sánchez, Joaquín Arias, Mar Moreno-Rebato, Sascha Ossowski
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents. EUMAS (2023)
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
Value awareness and process automation: a reflection through school place allocation models. ICLP Workshops (2023)
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. CoRR (2023)
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Explanation Generation with s(CASP). CoRR (2023)
Andrés Holgado-Sánchez, Joaquín Arias, Holger Billhardt, Sascha Ossowski
Algorithms for Learning Value-Aligned Policies Considering Admissibility Relaxation. VALE (2023)
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL (2023)
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
Value Awareness and Process Automation: A Reflection Through School Place Allocation Models. VALE (2023)
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
Tutorial: Automating Commonsense Reasoning. ICLP Workshops (2022)
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
Modeling Administrative Discretion using Goal-Directed Answer Set Programming. ICLP Workshops (2022)
Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL (2022)
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. CoRR (2022)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. 22 (1) (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. 22 (5) (2022)
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops (2022)
Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. ICLP Workshops (2022)
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. AAAI (2021)
Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR (2021)
Jan Wielemaker, Joaquín Arias, Gopal Gupta
s(CASP) for SWI-Prolog. ICLP Workshops (2021)
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming. CAEPIA (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Joaquín Arias, Gopal Gupta, Manuel Carro
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. CoRR (2021)
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops (2021)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR (2021)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications (2020)
Joaquín Arias, Manuel Carro
A Theoretical Study of (Full) Tabled Constraint Logic Programming. CoRR (2020)
Joaquín Arias, Manuel Carro
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory Pract. Log. Program. 19 (3) (2019)
Joaquín Arias, Manuel Carro
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. PADL (2019)
Joaquín Arias, Manuel Carro
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory Pract. Log. Program. 19 (5-6) (2019)
Joaquín Arias, Manuel Carro
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. CoRR (2019)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Constraint Answer Set Programming without Grounding and its Applications. Datalog (2019)
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR (2019)
Joaquín Arias, Manuel Carro
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18 (3-4) (2018)
Joaquín Arias
Tabled CLP for Reasoning Over Stream Data. ICLP (Technical Communications) (2016)
Joaquín Arias, Manuel Carro
Description and evaluation of a generic design to integrate CLP and tabled execution. PPDP (2016)
Joaquín Arias, Manuel Carro
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). ICLP (Technical Communications) (2015)