Abductive logic programming; Formal verification; Compliance in business process; Incompleteness in business processes;
机译:记录或不记录:使用启发式方法识别强制性日志事件-受控实验
机译:线性,对数线性和半对数不完全需求系统模型的完整表征
机译:(非)遵守伐木法规的动机:加纳许可伐木公司的案件
机译:削弱不完整事件日志的顺应性
机译:估计事件确定被延迟并且非单调和事件裁决不完整时达到复合结果的时间。
机译:使用现实世界中的金融贷款应用程序进行流程挖掘:改进对不完整事件日志的推断
机译:引用不完整事件日志的合规性