Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). - Joaquín Arias; Manuel Carro (ICLP (Technical Communications), 2015)

Tabled CLP for Reasoning Over Stream Data. - Joaquín Arias (ICLP (Technical Communications), 2016)

Description and evaluation of a generic design to integrate CLP and tabled execution. - Joaquín Arias; Manuel Carro (PPDP, 2016)

Constraint Answer Set Programming without Grounding. - Joaquín Arias; Manuel Carro; Elmer Salazar; Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2018)

Constraint Answer Set Programming without Grounding and its Applications. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Datalog, 2019)

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. - Joaquín Arias; Manuel Carro (PADL, 2019)

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. - Joaquín Arias; Manuel Carro (Theory Pract. Log. Program., 2019)

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. - Joaquín Arias; Manuel Carro (Theory Pract. Log. Program., 2019)

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints. - Joaquín Arias (2019)

Justifications for Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (ICLP Technical Communications, 2020)

A Theoretical Study of (Full) Tabled Constraint Logic Programming. - Joaquín Arias; Manuel Carro (CoRR, 2020)

Knowledge-driven Natural Language Understanding of English Text and its Applications. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Joaquín Arias; Gopal Gupta 001 (AAAI, 2021)

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. - Joaquín Arias; Gopal Gupta 001; Manuel Carro (ICLP Workshops, 2021)

Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 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 010; Kinjal Basu 002; Kevin Driscoll 001; Gopal Gupta 001 (ICLP Workshops, 2021)

s(CASP) for SWI-Prolog. - Jan Wielemaker; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 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 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. - Kinjal Basu 002; Elmer Salazar; Huaduo Wang; Joaquín Arias; Parth Padalkar; Gopal Gupta 001 (ICLP Workshops, 2022)

Modeling Administrative Discretion using Goal-Directed Answer Set Programming. - Joaquín Arias; Mar Moreno-Rebato; José A. Rodríguez-García; Sascha Ossowski (ICLP Workshops, 2022)

An s(CASP) In-Browser Playground based on Ciao Prolog. - Guillermo García-Pradales; José F. Morales 001; Manuel V. Hermenegildo; Joaquín Arias; Manuel Carro (ICLP Workshops, 2022)

Tutorial: Automating Commonsense Reasoning. - Gopal Gupta 001; Elmer Salazar; Sarat Chandra Varanasi; Kinjal Basu 002; Joaquín Arias; Farhad Shakerin; Fang Li 010; Huaduo Wang (ICLP Workshops, 2022)

LTL Model Checking using Coinductive Answer Set Programming. - Sarat Chandra Varanasi; Neda Saeedloei; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2022)

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. - Joaquín Arias; Manuel Carro; Gopal Gupta 001 (PADL, 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 010; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2022)

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Building Information Modeling Using Constraint Logic Programming. - Joaquín Arias; Seppo Törmä; Manuel Carro; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

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 (EUMAS, 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 (ICLP Workshops, 2023)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 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 002; Gopal Gupta 001 (PADL, 2023)

Teach the importance of logic (programming) in Computer Science and why it is important. - Joaquín Arias (SIIE, 2023)

Algorithms for Learning Value-Aligned Policies Considering Admissibility Relaxation. - Andrés Holgado-Sánchez; Joaquín Arias; Holger Billhardt; Sascha Ossowski (VALE, 2023)

On Value-Aligned Cooperative Multi-agent Task Allocation. - Marin Lujak; Alberto Fernández 002; Holger Billhardt; Sascha Ossowski; Joaquín Arias; Aitor López Sánchez (VALE, 2023)

Counterfactual Explanation Generation with s(CASP). - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2023)

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 2023)

Computational Thinking with Logic Programming. - Gopal Gupta 001; Elmer Salazar; Joaquín Arias (ICLP Workshops, 2024)

Causally Constrained Counterfactual Generation using ASP. - Sopam Dasgupta; Farhad Shakerin; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models. - Luciana Fidilio-Allende; Joaquín Arias (ICLP Workshops, 2024)

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 2024)

Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Private-Safe (Logic-Based) Decision Systems for Energy Assignment in Agricultural Cooperatives. - Luciana Fidilio-Allende; Joaquín Arias (PAAMS (Workshops), 2024)

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. - Yankai Zeng; Abhiramon Rajasekharan; Parth Padalkar; Kinjal Basu 002; Joaquín Arias; Gopal Gupta 001 (PADL, 2024)

Towards value-awareness in administrative processes: an approach based on constraint answer set programming. - Joaquín Arias; Mar Moreno-Rebato; José Antonio Rodríguez-García; Sascha Ossowski (SAC, 2024)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 2024)

Opportunities and Challenges of the Use of Forgetting in Symbolic XAI. - Joaquín Arias; Sara Degli-Esposti; Jose Walter Hernández-Pérez; Luciana Fidilio-Allende; Sascha Ossowski (VALE, 2024)

Value Learning for Value-Aligned Route Choice Modeling via Inverse Reinforcement Learning. - Andrés Holgado-Sánchez; Javier Bajo; Holger Billhardt; Sascha Ossowski; Joaquín Arias (VALE, 2024)

Counterfactual Generation with Answer Set Programming. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 2024)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (Theory Pract. Log. Program., 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 (Artif. Intell. Law, 2024)

C3G: Causally Constrained Counterfactual Generation. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (PADL, 2025)

VECSR: Virtually Embodied Common Sense Reasoning System. - Alexis R. Tudor; Joaquín Arias; Gopal Gupta 001 (CoRR, 2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning. - Alexis R. Tudor; Yankai Zeng; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (CoRR, 2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System. - Gopal Gupta 001; Abhiramon Rajasekharan; Alexis R. Tudor; Elmer Salazar; Joaquín Arias (CoRR, 2025)