most citedAutomating Semantic Analysis of System Assurance Cases using Goal-directed ASP

6 citations · 12 across the 8 of their papers we have counts for

collaborators

8 papers

cs.AI2025

P2C: Path to Counterfactuals

Sopam Dasgupta, Sadaf MD Halim, Joaquín Arias +2

Machine-learning models are increasingly driving decisions in high-stakes settings, such as finance, law, and hiring, thus, highlighting the need for transparency. However, the key…

cs.AI2025

MC3G: Model Agnostic Causally Constrained Counterfactual Generation

Sopam Dasgupta, Sadaf MD Halim, Joaquín Arias +2

Machine learning models increasingly influence decisions in high-stakes settings such as finance, law and hiring, driving the need for transparent, interpretable outcomes. However,…

cs.LO2025

VECSR: Virtually Embodied Common Sense Reasoning System

Alexis R. Tudor, Joaquín Arias, Gopal Gupta

The development of autonomous agents has seen a revival of enthusiasm due to the emergence of LLMs, such as GPT-4o. Deploying these agents in environments where they coexist with h…

cs.AI2024

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…

cs.LO2024★ 6 cited

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…

cs.CL2024★ 5 cited

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…

cs.AI2024★ 1 cited

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…

cs.AI2024

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…