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…