| 2026 | FLOPS | Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications. | Alexis R. Tudor, Joaqun Arias, Gopal Gupta |
| 2025 | NeSy | MC3G: Model Agnostic Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Sadaf Md. Halim, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2025 | PADL | C3G: Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Farhad Shakerin, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2024 | ICLP | Computational Thinking with Logic Programming. | Gopal Gupta, Elmer Salazar, Joaqun Arias |
| 2024 | ICLP | Causally Constrained Counterfactual Generation using ASP. | Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2024 | ICLP | Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models. | Luciana Fidilio-Allende, Joaqun Arias |
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2024 | ICLP | Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. | Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaqun Arias, Gopal Gupta |
| 2024 | PAAMS | Private-Safe (Logic-Based) Decision Systems for Energy Assignment in Agricultural Cooperatives. | Luciana Fidilio-Allende, Joaqun Arias |
| 2024 | PADL | Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. | Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaqun Arias, Gopal Gupta |
| 2024 | SAC | Towards value-awareness in administrative processes: an approach based on constraint answer set programming. | Joaqun Arias, Mar Moreno-Rebato, Jos Antonio Rodrguez-Garca, Sascha Ossowski |
| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2023 | EUMAS | On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents. | Andrs Holgado-Snchez, Joaqun Arias, Mar Moreno-Rebato, Sascha Ossowski |
| 2023 | ICLP | Value awareness and process automation: a reflection through school place allocation models. | Joaqun Arias, Mar Moreno-Rebato, Jos A. Rodrguez-Garca, Sascha Ossowski |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2023 | PADL | Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. | Zesheng Xu, Joaqun Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta |
| 2022 | ICLP | Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. | Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaqun Arias, Parth Padalkar, Gopal Gupta |
| 2022 | ICLP | Modeling Administrative Discretion using Goal-Directed Answer Set Programming. | Joaqun Arias, Mar Moreno-Rebato, Jos A. Rodrguez-Garca, Sascha Ossowski |
| 2022 | ICLP | An s(CASP) In-Browser Playground based on Ciao Prolog. | Guillermo Garca-Pradales, Jos F. Morales, Manuel V. Hermenegildo, Joaqun Arias, Manuel Carro |
| 2022 | ICLP | Tutorial: Automating Commonsense Reasoning. | Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaqun Arias, Farhad Shakerin, Fang Li, Huaduo Wang |
| 2022 | ICLP | LTL Model Checking using Coinductive Answer Set Programming. | Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2022 | PADL | Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. | Joaqun Arias, Manuel Carro, Gopal Gupta |
| 2022 | PADL | Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta |
| 2021 | AAAI | Knowledge-driven Natural Language Understanding of English Text and its Applications. | Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaqun Arias, Gopal Gupta |
| 2021 | ICLP | A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. | Joaqun Arias, Gopal Gupta, Manuel Carro |
| 2021 | ICLP | 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, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | ICLP | Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta |
| 2021 | ICLP | s(CASP) for SWI-Prolog. | Jan Wielemaker, Joaqun Arias, Gopal Gupta |
| 2019 | LOPSTR | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. | Joaqun Arias, Zhuo Chen, Manuel Carro, Gopal Gupta |
| 2019 | PADL | Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. | Joaqun Arias, Manuel Carro |
| 2016 | ICLP | Tabled CLP for Reasoning Over Stream Data. | Joaqun Arias |
| 2016 | PPDP | Description and evaluation of a generic design to integrate CLP and tabled execution. | Joaqun Arias, Manuel Carro |
| 2015 | ICLP | Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). | Joaqun Arias, Manuel Carro |