research
∙
11/25/2021
Graph-based Interpretation of Normal Logic Programs
In this paper we present a dependency graph-based method for computing t...
share
research
∙
09/17/2021
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 con...
research
∙
09/10/2021
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
We consider requirements for cyber-physical systems represented in const...
research
∙
04/30/2018
Constraint Answer Set Programming without Grounding
Extending ASP with constraints (CASP) enhances its expressiveness and pe...
research
∙
07/16/2017
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning
Management of chronic diseases such as heart failure (HF) is a major pub...
research
∙
10/25/2016