48 citations · 174 across the 27 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013
A Functional View of Strong Negation in Answer Set Programming
Michael Bartholomew, Joohyung Lee
The distinction between strong negation and default negation has been useful in answer set programming. We present an alternative account of strong negation, which lets us view str…
cs.LO2013
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers
Joohyung Lee, Yunsong Meng
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduc…