2 code implementations • 30 Apr 2018 • Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets.
Programming Languages Logic in Computer Science
1 code implementation • 1 Sep 2017 • 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.
Logic in Computer Science
no code implementations • 16 Jul 2017 • Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow.
no code implementations • 25 Oct 2016 • Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
In this paper we describe a physician-advisory system for CHF management that codes the entire set of clinical practice guidelines for CHF using answer set programming.