{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T06:22:05Z","timestamp":1768285325447,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1109\/icpm57379.2022.9980690","type":"proceedings-article","created":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T13:47:52Z","timestamp":1671025672000},"page":"96-103","source":"Crossref","is-referenced-by-count":1,"title":["Measurement of Rule-based LTLf Declarative Process Specifications"],"prefix":"10.1109","author":[{"given":"Alessio","family":"Cecconi","sequence":"first","affiliation":[{"name":"WU Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arik","family":"Senderovich","sequence":"additional","affiliation":[{"name":"York University,Toronto,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.005"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843014400012"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6583"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77525-8_91"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46295-0_6"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21290-2_38"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3387909"},{"key":"ref10","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"IJCAI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08848-3_4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15648-8_16"},{"key":"ref14","first-page":"117","article-title":"Separation - past, present, and future","author":"hodkinson","year":"2005","journal-title":"We Will Show Them! (2)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10104"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v26i1.13783"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1201\/b19822"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3150\/12-BEJSP10"},{"key":"ref28","first-page":"7:1","article-title":"Quantified linear temporal logic over probabilistic systems with an application to vacuity checking","author":"piribauer","year":"2021","journal-title":"CONCUR"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.11058"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2875421"},{"key":"ref3","first-page":"1215","article-title":"Planning for temporally extended goals","volume":"2","author":"bacchus","year":"1996","journal-title":"AAAI\/IAAI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0231-z"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9670"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98648-7_8"},{"key":"ref7","first-page":"101920","article-title":"Measuring the interestingness of temporal logic behavioral specifications in process mining","author":"cecconi","year":"2021","journal-title":"Information Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/256"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1132960.1132963"},{"key":"ref1","first-page":"146","article-title":"Enacting declarative languages using LTL: avoiding errors and improving performance","author":"pesic","year":"2010","journal-title":"SPIN"},{"key":"ref20","article-title":"A multivariate regression view of multi-label classification","author":"ip","year":"2015","journal-title":"Tech Rep"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68282-2"},{"key":"ref21","first-page":"20","article-title":"Generating event logs through the simulation of Declare models","author":"di ciccio","year":"2015","journal-title":"Proceedings of CAiSE ?99"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2629447"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-018-0590-x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"}],"event":{"name":"2022 4th International Conference on Process Mining (ICPM)","location":"Bolzano, Italy","start":{"date-parts":[[2022,10,23]]},"end":{"date-parts":[[2022,10,28]]}},"container-title":["2022 4th International Conference on Process Mining (ICPM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9980474\/9980534\/09980690.pdf?arnumber=9980690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T15:16:32Z","timestamp":1674486992000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9980690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icpm57379.2022.9980690","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]}}}