65 citations · 104 across the 15 of their papers we have counts for
6 papers · 1 filter
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, Joaquín Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…
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…
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…
Computing Stable Models of Normal Logic Programs Without Grounding
Kyle Marple, Elmer Salazar, Gopal Gupta
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. Such prog…
A New Algorithm to Automate Inductive Learning of Default Theories
Farhad Shakerin, Elmer Salazar, Gopal Gupta
In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patter…