论Declare MAX-SAT及面向数据感知日志的有限Herbrand基
数据库
2021-06-16 v1 计算机科学中的逻辑
摘要
本技术报告提供了一些轻量级介绍，以动机化将日志轨迹与可能包含关联条件的数据感知Declare模型进行对齐的定义。本技术报告仅提供该逻辑框架的直观认识，作为未来形式化与实验部分的 feasibility 研究。
引用
@article{arxiv.2106.07781,
title = {On Declare MAX-SAT and a finite Herbrand Base for data-aware logs},
author = {Giacomo Bergami},
journal= {arXiv preprint arXiv:2106.07781},
year = {2021}
}