Výsledky vyhledávání - compliance checking logic programming argumentation
-
1
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
ISSN: 0957-4174, 1873-6793Vydáno: Amsterdam Elsevier Ltd 15.10.2014Vydáno v Expert systems with applications (15.10.2014)“…•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…”
Získat plný text
Journal Article -
2
Enabling reasoning with LegalRuleML
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.01.2019Vydáno v Theory and practice of logic programming (01.01.2019)“… 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…”
Získat plný text
Journal Article