Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System cs.AI · 2025-07-07