7 citations · 22 across the 6 of their papers we have counts for
6 papers
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…
CASPR: A Commonsense Reasoning-based Conversational Socialbot
Kinjal Basu, Huaduo Wang, Nancy Dominguez +4
We report on the design and development of the CASPR system, a socialbot designed to compete in the Amazon Alexa Socialbot Challenge 4. CASPR's distinguishing characteristic is tha…
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…
grASP: A Graph Based ASP-Solver and Justification System
Fang Li, Huaduo Wang, Gopal Gupta
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…