Joaquín Arias

83 papers A* 1B 2C 11Misc 1Journal 32Unranked 30
YearRankTypeTitle / Venue / Authors
2026 C ed.
Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings
PADL
Nada Amin, Joaquín Arias
2025 J jnl
Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning.
CoRR
Alexis R. Tudor, Yankai Zeng, Huaduo Wang, Joaquín Arias, Gopal Gupta
2025 C conf
C3G: Causally Constrained Counterfactual Generation.
PADL
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 C conf
MC3G: Model Agnostic Causally Constrained Counterfactual Generation.
NeSy
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 J jnl
MC3G: Model Agnostic Causally Constrained Counterfactual Generation.
CoRR
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 J jnl
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System.
CoRR
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquín Arias
2025 B conf
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.
ICLP
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2025 J jnl
P2C: Path to Counterfactuals.
CoRR
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 B conf
VECSR: Virtually Embodied Common Sense Reasoning System.
ICLP
Alexis R. Tudor, Joaquín Arias, Gopal Gupta
2024 J jnl
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.
CoRR
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024 J jnl
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.
Theory Pract. Log. Program.
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024 J jnl
Algorithms for learning value-aligned policies considering admissibility relaxation.
CoRR
Andrés Holgado-Sánchez, Joaquín Arias, Holger Billhardt, Sascha Ossowski
2024 C conf
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs.
PADL
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
2024 J jnl
Automated legal reasoning with discretion to act using s(LAW).
Artif. Intell. Law
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2024 J jnl
Automated legal reasoning with discretion to act using s(LAW).
CoRR
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2024 J jnl
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.
Theory Pract. Log. Program.
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 — conf
Causally Constrained Counterfactual Generation using ASP.
ICLP Workshops
Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta
2024 J jnl
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 J jnl
CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 — conf
Computational Thinking with Logic Programming.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Joaquín Arias
2024 J jnl
Counterfactual Generation with Answer Set Programming.
CoRR
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 J jnl
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.
Theory Pract. Log. Program.
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 J jnl
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
SAFECOMP (Workshops)
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias
2024 — conf
Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.
ICLP Workshops
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024 — conf
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models.
ICLP Workshops
Luciana Fidilio-Allende, Joaquín Arias
2024 — conf
Opportunities and Challenges of the Use of Forgetting in Symbolic XAI.
VALE
Joaquín Arias, Sara Degli-Esposti, Jose Walter Hernández-Pérez, Luciana Fidilio-Allende, Sascha Ossowski
2024 — conf
Private-Safe (Logic-Based) Decision Systems for Energy Assignment in Agricultural Cooperatives.
PAAMS (Workshops)
Luciana Fidilio-Allende, Joaquín Arias
2024 Misc conf
Towards value-awareness in administrative processes: an approach based on constraint answer set programming.
SAC
Joaquín Arias, Mar Moreno-Rebato, José Antonio Rodríguez-García, Sascha Ossowski
2024 — conf
Value Learning for Value-Aligned Route Choice Modeling via Inverse Reinforcement Learning.
VALE
Andrés Holgado-Sánchez, Javier Bajo, Holger Billhardt, Sascha Ossowski, Joaquín Arias
2024 — ed.
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024.
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023 — conf
Algorithms for Learning Value-Aligned Policies Considering Admissibility Relaxation.
VALE
Andrés Holgado-Sánchez, Joaquín Arias, Holger Billhardt, Sascha Ossowski
2023 J jnl
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs.
CoRR
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
2023 J jnl
Counterfactual Explanation Generation with s(CASP).
CoRR
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2023 C conf
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
PADL
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
2023 C conf
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents.
EUMAS
Andrés Holgado-Sánchez, Joaquín Arias, Mar Moreno-Rebato, Sascha Ossowski
2023 — conf
On Value-Aligned Cooperative Multi-agent Task Allocation.
VALE
Marin Lujak, Alberto Fernández, Holger Billhardt, Sascha Ossowski, Joaquín Arias, Aitor López Sánchez
2023 — ed.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
ICLP Workshops
Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2023 — ch.
Prolog: Past, Present, and Future.
Prolog: The Next 50 Years
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
2023 — conf
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2023 — conf
Teach the importance of logic (programming) in Computer Science and why it is important.
SIIE
Joaquín Arias
2023 — conf
Value Awareness and Process Automation: A Reflection Through School Place Allocation Models.
VALE
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2023 — conf
Value awareness and process automation: a reflection through school place allocation models.
ICLP Workshops
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2022 — conf
An s(CASP) In-Browser Playground based on Ciao Prolog.
ICLP Workshops
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
2022 J jnl
Building Information Modeling Using Constraint Logic Programming.
CoRR
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022 J jnl
Building Information Modeling Using Constraint Logic Programming.
Theory Pract. Log. Program.
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022 — conf
LTL Model Checking using Coinductive Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
2022 — conf
Modeling Administrative Discretion using Goal-Directed Answer Set Programming.
ICLP Workshops
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2022 J jnl
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2022 C conf
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
PADL
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
2022 — ed.
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 - August 1st, 2022.
ICLP Workshops
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2022 — conf
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.
ICLP Workshops
Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
2022 C conf
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.
PADL
Joaquín Arias, Manuel Carro, Gopal Gupta
2022 — conf
Tutorial: Automating Commonsense Reasoning.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2021 — conf
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.
ICLP Workshops
Joaquín Arias, Gopal Gupta, Manuel Carro
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
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
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021 A* conf
Knowledge-driven Natural Language Understanding of English Text and its Applications.
AAAI
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021 J jnl
Knowledge-driven Natural Language Understanding of English Text and its Applications.
CoRR
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021 — conf
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming.
CAEPIA
Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
2021 J jnl
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
CoRR
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2021 — conf
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2021 — ed.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.
ICLP Workshops
Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari
2021 J jnl
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming.
CoRR
Joaquín Arias, Manuel Carro, Gopal Gupta
2021 — conf
s(CASP) for SWI-Prolog.
ICLP Workshops
Jan Wielemaker, Joaquín Arias, Gopal Gupta
2020 J jnl
A Theoretical Study of (Full) Tabled Constraint Logic Programming.
CoRR
Joaquín Arias, Manuel Carro
2020 — conf
Justifications for Goal-Directed Constraint Answer Set Programming.
ICLP Technical Communications
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 — —
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints.
Joaquín Arias
2019 — conf
Constraint Answer Set Programming without Grounding and its Applications.
Datalog
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 J jnl
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro
2019 J jnl
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.
CoRR
Joaquín Arias, Manuel Carro
2019 J jnl
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro
2019 C conf
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.
PADL
Joaquín Arias, Manuel Carro
2019 C conf
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.
LOPSTR
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
2018 J jnl
Constraint Answer Set Programming without Grounding.
CoRR
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018 J jnl
Constraint Answer Set Programming without Grounding.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018 J jnl
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.
CoRR
Joaquín Arias, Manuel Carro
2016 C conf
Description and evaluation of a generic design to integrate CLP and tabled execution.
PPDP
Joaquín Arias, Manuel Carro
2016 — conf
Tabled CLP for Reasoning Over Stream Data.
ICLP (Technical Communications)
Joaquín Arias
2015 — conf
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract).
ICLP (Technical Communications)
Joaquín Arias, Manuel Carro