7 citations · 22 across the 6 of their papers we have counts for
4 papers · 1 filter
Graph-based Interpretation of Normal Logic Programs
Fang Li, Elmer Salazar, Gopal Gupta
In this paper we present a dependency graph-based method for computing the various semantics of normal logic programs. Our method employs \textit{conjunction nodes} to unambiguousl…
Graph Based Answer Set Programming Solver Systems
Fang Li
Answer set programming (ASP) is a popular nonmonotonic-logic based paradigm for knowledge representation and solving combinatorial problems. Computing the answer set of an ASP prog…
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
Fang Li, Huaduo Wang, Kinjal Basu +2
We consider the problem of finding relevant consistent concepts in a conversational AI system, particularly, for realizing a conversational socialbot. Commonsense knowledge about v…
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…