Search Results - compliance checking logic programming argumentation

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments by Sultan, Khalid, Bentahar, Jamal, Wan, Wei, Al-Saqqar, Faisal

“…•We introduce a new logic merging probabilities, knowledge, and social commitments.•We advocate a reduction-based technique to model check the logic and prove its soundness…”
Get full text

Enabling reasoning with LegalRuleML by LAM, HO-PUN, HASHMI, MUSTAFA

“… For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in automated compliance checking…”
Get full text