Výsledky vyhľadávania - compliance checking logic programming argumentation
-
1
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
ISSN: 0957-4174, 1873-6793Vydavateľské údaje: Amsterdam Elsevier Ltd 15.10.2014Vydané 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ískať plný text
Journal Article -
2
Enabling reasoning with LegalRuleML
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.01.2019Vydané 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ískať plný text
Journal Article