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