Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System

Open in new window