33 citations · 56 across the 26 of their papers we have counts for
7 papers · 1 filter
CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
Sopam Dasgupta, Joaquín Arias, Elmer Salazar +1
Machine learning models are increasingly used in critical areas such as loan approvals and hiring, yet they often function as black boxes, obscuring their decision-making processes…
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, Joaquín Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +6
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances…
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu +3
The development of large language models (LLMs), such as GPT, has enabled the construction of several socialbots, like ChatGPT, that are receiving a lot of attention for their abil…
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
Sopam Dasgupta, Joaquín Arias, Elmer Salazar +1
Machine learning models are increasingly used in areas such as loan approvals and hiring, yet they often function as black boxes, obscuring their decision-making processes. Transpa…
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
Sopam Dasgupta, Joaquín Arias, Elmer Salazar +1
Machine learning models that automate decision-making are increasingly used in consequential areas such as loan approvals, pretrial bail approval, and hiring. Unfortunately, most o…
Counterfactual Generation with Answer Set Programming
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias +2
Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfo…