Search Results for author:
Found 8 papers, 1 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.
Automated legal reasoning with discretion to act using s(LAW)
We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns.
Counterfactual Explanation Generation with s(CASP)
Our approach utilizes answer set programming and the s(CASP) goal-directed ASP system.
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
To the best of our knowledge, AutoConcierge is the first automated conversational agent that can realistically converse like a human and provide help to humans based on truly understanding human utterances.
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
However, the performance of existing s(CASP) implementations is not on par with other ASP systems: model consistency is checked once models have been generated, in keeping with the generate-and-test paradigm.
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.
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI.
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
