20 citations · 20 across the 2 of their papers we have counts for
1 paper · 1 filter
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…