23 citations · 28 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
First-Order Stable Model Semantics and First-Order Loop Formulas
Joohyung Lee, Yunsong Meng
Lin and Zhaos theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop for…
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…