Suchergebnisse - compliance checking logic programming argumentation

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments von 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 …”
Volltext

Enabling reasoning with LegalRuleML von 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 …”
Volltext