Interestingness of Traces in Declarative Process Mining: The Janus LTLp $$

Interestingness of Traces in Declarative Process Mining: The Janus LTLp $$_f$$ Approach

Published:2018 Issue: Volume: Page:121-138
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cecconi Alessio^ORCID,Di Ciccio Claudio^ORCID,De Giacomo Giuseppe^ORCID,Mendling Jan^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98648-7_8

Reference27 articles.

1. Adamo, J.: Data Mining for Association Rules and Sequential Patterns - Sequential and Parallel Algorithms. Springer, New York (2001). https://doi.org/10.1007/978-1-4613-0085-4

2. De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: AAAI, pp. 1027–1033 (2014)

3. De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI, pp. 854–860. Association for Computing Machinery (2013)

4. Lecture Notes in Business Information Processing;C Ciccio Di,2015

5. Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64, 425–446 (2017)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Measuring rule-based LTLf process specifications: A probabilistic data-driven approach;Information Systems;2024-02

2. Precision-Guided Minimization of Arbitrary Declarative Process Models;Lecture Notes in Business Information Processing;2024

3. Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles;IEEE Transactions on Intelligent Vehicles;2023-09

4. Data-aware conformance checking with SMT;Information Systems;2023-07

5. Event-case correlation for process mining using probabilistic optimization;Information Systems;2023-03