Joaquín Arias

According to our database, Joaquín Arias authored at least 36 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Counterfactual Generation with Answer Set Programming.

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

CoRR, 2024

Automated legal reasoning with discretion to act using s(LAW).

Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski

CoRR, 2024

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs.

Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2024

2023

Prolog: Past, Present, and Future.

Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Counterfactual Explanation Generation with s(CASP).

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

CoRR, 2023

Teach the importance of logic (programming) in Computer Science and why it is important.

Joaquín Arias

Proceedings of the International Symposium on Computers in Education, 2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Value awareness and process automation: a reflection through school place allocation models.

Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents.

Andrés Holgado-Sánchez, Joaquín Arias, Mar Moreno-Rebato, Sascha Ossowski

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Building Information Modeling Using Constraint Logic Programming.

Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta

Theory Pract. Log. Program., 2022

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Theory Pract. Log. Program., 2022

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.

Joaquín Arias, Manuel Carro, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

LTL Model Checking using Coinductive Answer Set Programming.

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Tutorial: Automating Commonsense Reasoning.

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

An s(CASP) In-Browser Playground based on Ciao Prolog.

Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.

Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.

Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

s(CASP) for SWI-Prolog.

Jan Wielemaker, Joaquín Arias, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

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

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.

Joaquín Arias, Gopal Gupta, Manuel Carro

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Modeling Administrative Discretion Using Goal-Directed Answer Set Programming.

Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski

Proceedings of the Advances in Artificial Intelligence, 2021

Knowledge-driven Natural Language Understanding of English Text and its Applications.

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

A Theoretical Study of (Full) Tabled Constraint Logic Programming.

Joaquín Arias, Manuel Carro

CoRR, 2020

Justifications for Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints.

Joaquín Arias

PhD thesis, 2019

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.

Joaquín Arias, Manuel Carro

Theory Pract. Log. Program., 2019

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.

Joaquín Arias, Manuel Carro

Theory Pract. Log. Program., 2019

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.

Joaquín Arias, Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2019

Constraint Answer Set Programming without Grounding and its Applications.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Datalog 2.0 2019, 2019

2018

Constraint Answer Set Programming without Grounding.

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

Theory Pract. Log. Program., 2018

2016

Description and evaluation of a generic design to integrate CLP and tabled execution.

Joaquín Arias, Manuel Carro

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Tabled CLP for Reasoning Over Stream Data.

Joaquín Arias

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract).

Joaquín Arias, Manuel Carro

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015