Joaquín Arias
Orcid: 0000-0003-4148-311X
According to our database1,
Joaquín Arias
authored at least 52 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
5
10
15
1
8
1
2
1
2
1
9
7
7
6
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Artif. Intell. Law, December, 2024
CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR, 2024
CoRR, 2024
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
Towards value-awareness in administrative processes: an approach based on constraint answer set programming.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs.
Proceedings of the Practical Aspects of Declarative Languages, 2024
Private-Safe (Logic-Based) Decision Systems for Energy Assignment in Agricultural Cooperatives.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection, 2024
Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.
Proceedings of the 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), 2024
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
Proceedings of the 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), 2024
Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models.
Proceedings of the 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), 2024
Proceedings of the 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), 2024
Proceedings of the 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), 2024
2023
Proceedings of the Prolog: The Next 50 Years, 2023
Proceedings of the Value Engineering in Artificial Intelligence, 2023
Proceedings of the Value Engineering in Artificial Intelligence, 2023
Teach the importance of logic (programming) in Computer Science and why it is important.
Proceedings of the International Symposium on Computers in Education, 2023
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2023
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.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
2022
Theory Pract. Log. Program., 2022
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
Theory Pract. Log. Program., 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2022
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
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
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
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.
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.
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
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.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Knowledge-driven Natural Language Understanding of English Text and its Applications.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
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.
PhD thesis, 2019
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.
Proceedings of the Practical Aspects of Declarative Languages, 2019
Proceedings of the Datalog 2.0 2019, 2019
2018
Theory Pract. Log. Program., 2018
2016
Description and evaluation of a generic design to integrate CLP and tabled execution.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
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).
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015