65 citations · 85 across the 3 of their papers we have counts for
4 papers
Constraint Answer Set Programming without Grounding
Joaquín Arias, Manuel Carro, Elmer Salazar +2
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, remove…
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 Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns
Zhuo Chen, Kyle Marple, Elmer Salazar +2
Management of chronic diseases such as heart failure, diabetes, and chronic obstructive pulmonary disease (COPD) is a major problem in health care. A standard approach that the med…