20 citations · 20 across the 2 of their papers we have counts for
3 papers
cs.PL2018
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…
cs.LO2017★ 20 cited
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…
cs.AI2017
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…