Two Solutions for Checking LTLf Properties in Event Logs

被引：0
|
作者：
Ibershimi, Tedi [1 ]
Xhemalaj, Diellsimeone [1 ]
Alman, Anti [2 ]
Donadello, Ivan [1 ]
Maggi, Fabrizio Maria [1 ]
机构：
[1] Free University of Bozen-Bolzano, Bolzano, Italy
[2] University of Tartu, Tartu, Estonia
来源：
CEUR Workshop Proceedings | 2023年 / 3648卷
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Business Process - Conformance checking - Event logs - Finite traces - In-process - Linear temporal logic - LoG filtering - Process mining - Process-models - Property
引用
收藏
相关论文
共 50 条
  • [1] LTLf Satisfiability Checking
    Li, Jianwen
    Zhang, Lijun
    Pu, Geguang
    Vardi, Moshe Y.
    He, Jifeng
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 513 - +
  • [2] Aligning Event Logs and Declarative Process Models for Conformance Checking
    de Leoni, Massimiliano
    Maggi, Fabrizio Maria
    van der Aalst, Andwil M. P.
    BUSINESS PROCESS MANAGEMENT, BPM 2012, 2012, 7481 : 82 - 97
  • [3] Partial order resolution of event logs for process conformance checking
    van der Aa, Han
    Leopold, Henrik
    Weidlich, Matthias
    DECISION SUPPORT SYSTEMS, 2020, 136
  • [4] SAT-based explicit LTLf satisfiability checking
    Li, Jianwen
    Pu, Geguang
    Zhang, Yueling
    Vardi, Moshe Y.
    Rozier, Kristin Y.
    ARTIFICIAL INTELLIGENCE, 2020, 289
  • [5] SAT-Based Explicit LTLf Satisfiability Checking
    Li, Jianwen
    Rozier, Kristin Y.
    Pu, Geguang
    Zhang, Yueling
    Vardi, Moshe Y.
    THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2946 - 2953
  • [6] Cross-Instance Regulatory Compliance Checking of Business Process Event Logs
    van Beest, Nick
    Groefsema, Heerko
    Cryer, Adrian
    Governatori, Guido
    Tosatto, Silvano Colombo
    Burke, Hannah
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (11) : 4917 - 4931
  • [7] HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
    De Giacomo, Giuseppe
    Felli, Paolo
    Montali, Marco
    Perelli, Giuseppe
    PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 1859 - 1865
  • [8] Conformance Checking over Stochastically Known Logs
    Bogdanov, Eli
    Cohen, Izack
    Gal, Avigdor
    BUSINESS PROCESS MANAGEMENT FORUM, 2022, 458 : 105 - 119
  • [9] End coating logs to prevent stain and checking
    LinaresHernandez, A
    Wengert, EM
    FOREST PRODUCTS JOURNAL, 1997, 47 (04) : 65 - 70
  • [10] Change visualisation: Analysing the resource and timing differences between two event logs
    Low, W. Z.
    van der Aalst, W. M. P.
    ter Hofstede, A. H. M.
    Wynn, M. T.
    De Weerdt, J.
    INFORMATION SYSTEMS, 2017, 65 : 106 - 123
12345