An Approach to Evaluate the Local Completeness of an Event Log

Using Event Log Timing Information to Assist Process Scenario Discoveries

2020 IEEE Third International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) ◽

10.1109/aike48582.2020.00017 ◽

2020 ◽

Author(s):

Zhenyu Zhang ◽

Chunhui Guo ◽

Wenyu Peng ◽

Shangping Ren

Keyword(s):

Timing Information ◽

Event Log

Download Full-text

Towards IoT-driven Process Event Log Generation for Conformance Checking in Smart Factories

2020 IEEE 24th International Enterprise Distributed Object Computing Workshop (EDOCW) ◽

10.1109/edocw49879.2020.00016 ◽

2020 ◽

Author(s):

Ronny Seiger ◽

Francesca Zerbato ◽

Andrea Burattin ◽

Luciano Garcia-Banuelos ◽

Barbara Weber

Keyword(s):

Conformance Checking ◽

Event Log ◽

Process Event ◽

Smart Factories

Download Full-text

LCDD: Detecting Business Process Drifts Based on Local Completeness

IEEE Transactions on Services Computing ◽

10.1109/tsc.2020.3032787 ◽

2020 ◽

pp. 1-1

Author(s):

Leilei Lin ◽

Lijie Wen ◽

Li Lin ◽

Jisheng Pei ◽

Hedong Yang

Keyword(s):

Business Process ◽

Local Completeness

Download Full-text

Paddy: An Event Log Parsing Approach using Dynamic Dictionary

NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium ◽

10.1109/noms47738.2020.9110435 ◽

2020 ◽

Author(s):

Shaohan Huang ◽

Yi Liu ◽

Carol Fung ◽

Rong He ◽

Yining Zhao ◽

...

Keyword(s):

Event Log

Download Full-text

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

The Review of Symbolic Logic ◽

10.1017/s1755020315000027 ◽

2015 ◽

Vol 8 (2) ◽

pp. 296-305 ◽

Cited By ~ 7

Author(s):

NISSIM FRANCEZ

Keyword(s):

Natural Deduction ◽

Proof System ◽

Logical Constants ◽

Local Completeness ◽

Definition Of ◽

The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

Download Full-text