Search Results for author:
Found 9 papers, 3 papers with code
Counterfactual Generation with Answer Set Programming
In our framework, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed.
Counterfactual Explanation Generation with s(CASP)
Our approach utilizes answer set programming and the s(CASP) goal-directed ASP system.
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
We consider the problem of finding relevant consistent concepts in a conversational AI system, particularly, for realizing a conversational socialbot.
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements.
Constraint Answer Set Programming without Grounding
The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets.
Programming Languages Logic in Computer Science
Computing Stable Models of Normal Logic Programs Without Grounding
We present a method for computing stable models of normal logic programs, i. e., logic programs extended with negation, in the presence of predicates with arbitrary terms.
Logic in Computer Science
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning
A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow.
A New Algorithm to Automate Inductive Learning of Default Theories
An approach through recursively finding patterns in exceptions turns out to correspond to the problem of learning default theories.
Logic in Computer Science
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns
In this paper we describe a physician-advisory system for CHF management that codes the entire set of clinical practice guidelines for CHF using answer set programming.
