65 citations · 104 across the 15 of their papers we have counts for
3 papers · 1 filter
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…
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning
Zhuo Chen, Elmer Salazar, Kyle Marple +4
Management of chronic diseases such as heart failure (HF) is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a commi…
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…