TY - RPRT TI - Weighted Rules under the Stable Model Semantics AU - Joohyung Lee AU - Yi Wang PY - 2026 UR - https://arxiv.org/abs/2605.09519 ID - 2605.09519 ER -