48 citations · 174 across the 27 of their papers we have counts for
1 paper · 2 filters
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…