Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Log-Based Understanding of Business Processes through Temporal Logic Query Checking

12 references·3 citing·39 second hopsampled

FromToDepth

this work references cited by second hop· second hop is a sample of the most-cited connections

References

2005The ProM Framework: A New Era in Process Mining Tool Support929 cited
2007DECLARE: Full Support for Loosely-Structured Processes583 cited
2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Models199 cited
2011User-guided discovery of declarative process models169 cited
2012Efficient Discovery of Understandable Declarative Process Models from Event Logs162 cited
2009Exploiting Inductive Logic Programming Techniques for Declarative Process Mining93 cited
2013Discovering Data-Aware Declarative Process Models from Event Logs92 cited
2008Applying Inductive Logic Programming to Process Mining65 cited
2013Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs60 cited
2013A two-step fast algorithm for the automated discovery of declarative workflows57 cited
2013Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models50 cited
2012Mining Constraints for Artful Processes32 cited

Cited by

2016Do activity lifecycles affect the validity of a business rule in a business process?27 cited
2018On the relevance of a business constraint to an event log25 cited
2022

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

ASP-Based Declarative Process Mining

19 cited