{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:00:50Z","timestamp":1743098450969,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062563"},{"type":"electronic","value":"9783319062570"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06257-0_17","type":"book-chapter","created":{"date-parts":[[2014,5,9]],"date-time":"2014-05-09T11:51:54Z","timestamp":1399636314000},"page":"212-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-occurring Past Behavior"],"prefix":"10.1007","author":[{"given":"Seppe K. L. M.","family":"vanden Broucke","sequence":"first","affiliation":[]},{"given":"Filip","family":"Caron","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vanthienen","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Baesens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,10]]},"reference":[{"issue":"5","key":"17_CR1","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"W van der Aalst","year":"2007","unstructured":"van der Aalst, W., Reijers, H., Weijters, A., van Dongen, B., Alves de Medeiros, A., Song, M., Verbeek, H.: Business process mining: an industrial application. Inf. Syst. 32(5), 713\u2013732 (2007)","journal-title":"Inf. Syst."},{"key":"17_CR2","volume-title":"Introduction to Data Mining","author":"PN Tan","year":"2005","unstructured":"Tan, P.N., Steinbach, M., Kumar, V.: Introduction to Data Mining. Addison-Wesley, Boston (2005)"},{"key":"17_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01982-1","volume-title":"Handbook on Business Process Management: Strategic Alignment, Governance, People and Culture","author":"J vom Brocke","year":"2010","unstructured":"vom Brocke, J., Rosemann, M.: Handbook on Business Process Management: Strategic Alignment, Governance, People and Culture. Springer, Heidelberg (2010)"},{"key":"17_CR4","series-title":"LNCS","first-page":"163","volume-title":"BPM 2005","author":"A Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"17_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 278\u2013295. Springer, Heidelberg (2009)"},{"key":"17_CR7","series-title":"LNCS","first-page":"254","volume-title":"CAiSE 2012","author":"SKLM vanden Broucke","year":"2012","unstructured":"vanden Broucke, S.K.L.M., De Weerdt, J., Baesens, B., Vanthienen, J.: Improved artificial negative event generation to enhance process event logs. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 254\u2013269. Springer, Heidelberg (2012)"},{"key":"17_CR8","first-page":"1305","volume":"10","author":"S Goedertier","year":"2009","unstructured":"Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust process discovery with artificial negative events. J. Mach. Learn. Res. 10, 1305\u20131340 (2009)","journal-title":"J. Mach. Learn. Res."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.: Declare: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, 2007, EDOC 2007, pp. 287\u2013287. IEEE (2007)","DOI":"10.1109\/EDOC.2007.14"},{"issue":"4","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Logic 9(4), 1\u201343 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"17_CR11","unstructured":"Chesani, F., Mello, P., Montali, M., Storari, S.: Towards a decserflow declarative semantics based on computational logic. Technical report (2007)"},{"key":"17_CR12","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"17_CR13","series-title":"LNCS","first-page":"169","volume-title":"BPM Workshops 2006","author":"M Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"17_CR14","first-page":"130","volume":"3760","author":"W van der Aalst","year":"2005","unstructured":"van der Aalst, W., De Beer, H., Van Dongen, B.: Process mining and verification of properties: an approach based on temporal logic. Inf. Syst. J. 3760, 130\u2013147 (2005)","journal-title":"Inf. Syst. J."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Cohen, W.: Fast effective rule induction. In: Proceedings of the Twelfth International Conference on Machine Learning, ICML95 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"issue":"1","key":"17_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10618-005-0029-z","volume":"13","author":"L Maruster","year":"2006","unstructured":"Maruster, L., Weijters, A., van der Aalst, W., van den Bosch, A.: A rule-based approach for process discovery: dealing with noise and imbalance in process logs. Data Min. Knowl. Disc. 13(1), 67\u201387 (2006)","journal-title":"Data Min. Knowl. Disc."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06257-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T00:27:12Z","timestamp":1674260832000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06257-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062563","9783319062570"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06257-0_17","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}