SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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 · Study

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

Margus Räim2014

Work2014

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

Margus Räim · Claudio Di Ciccio · Fabrizio Maria Maggi · Massimo Mecella · Jan Mendling

32 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Data Mining Algorithms and Applications

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 32 citations exist upstream.

References

2005The ProM Framework: A New Era in Process Mining Tool Support 2007DECLARE: Full Support for Loosely-Structured Processes 2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Models 2011User-guided discovery of declarative process models 2012Efficient Discovery of Understandable Declarative Process Models from Event Logs 2009Exploiting Inductive Logic Programming Techniques for Declarative Process Mining 2013Discovering Data-Aware Declarative Process Models from Event Logs 2008Applying Inductive Logic Programming to Process Mining

Cited by

2016Do activity lifecycles affect the validity of a business rule in a business process?2018On the relevance of a business constraint to an event log 2022ASP-Based Declarative Process Mining

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2015Efficient discovery of Target-Branched Declare constraintsarticle · 8 shared references 2018On the relevance of a business constraint to an event logarticle · 8 shared references 2014The Automated Discovery of Hybrid Processesother · 7 shared references 2016Do activity lifecycles affect the validity of a business rule in a business process?article · 7 shared references 2018Interest-driven discovery of local process modelsarticle · 6 shared references 2016Resolving inconsistencies and redundancies in declarative process modelsarticle · 5 shared references

Details

Year2014

Typeother

Published2014-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations32

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-662-45563-0_5

openalex_workW79843527

Links

Imported from OpenAlex (CC0) — nothing here is generated.