{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:11:47Z","timestamp":1764331907878,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205101"},{"type":"electronic","value":"9783642205118"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20511-8_16","type":"book-chapter","created":{"date-parts":[[2011,5,16]],"date-time":"2011-05-16T07:09:32Z","timestamp":1305529772000},"page":"182-193","source":"Crossref","is-referenced-by-count":7,"title":["Revising Process Models through Inductive Learning"],"prefix":"10.1007","author":[{"given":"Fabrizio Maria","family":"Maggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Corapi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Lupu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Visaggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1977)","key":"16_CR1","DOI":"10.1007\/978-1-4684-3384-5_11"},{"doi-asserted-by":"crossref","unstructured":"Corapi, D., Ray, O., Russo, A., Bandara, A., Lupu, E.: Learning rules from user behaviour. In: Artificial Intelligence Applications and Innovations III, vol.\u00a0296, pp. 459\u2013468 (2009)","key":"16_CR2","DOI":"10.1007\/978-1-4419-0221-4_54"},{"unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54\u201363 (2010)","key":"16_CR3"},{"key":"16_CR4","first-page":"1070","volume-title":"Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-78238-4_6","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2008","unstructured":"Goedertier, S., Martens, D., Baesens, B., Haesen, R., Vanthienen, J.: Process Mining as First-Order Classification Learning on Logs with Negative Events. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 42\u201353. Springer, Heidelberg (2008)"},{"unstructured":"Goedertier, S., Martens, D., Baesens, B., Haesen, R., Vanthienen, J.: A new approach for discovering business process models from event logs, vol.\u00a0716","key":"16_CR6"},{"key":"16_CR7","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. Journal of Machine Learning Research\u00a010, 1305\u20131340 (2009)","journal-title":"Journal of Machine Learning Research"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.datak.2005.02.006","volume":"56","author":"M. Hammori","year":"2006","unstructured":"Hammori, M., Herbst, J., Kleiner, N.: Interactive workflow mining: requirements, concepts and implementation. Data Knowl. Eng.\u00a056(1), 41\u201363 (2006)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"A.K. Medeiros","year":"2007","unstructured":"Medeiros, A.K., Weijters, A.J., Aalst, W.M.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov.\u00a014(2), 245\u2013304 (2007)","journal-title":"Data Min. Knowl. Discov."},{"unstructured":"Alves De Medeiros, A.K., G\u00fcnther, C.W.: Process mining: Using cpn tools to create test logs for mining algorithms. In: Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 177\u2013190 (2005)","key":"16_CR10"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","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., et al. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"key":"16_CR12","volume-title":"The Art of PROLOG: Advanced Programming Techniques","author":"L. Shapiro","year":"1994","unstructured":"Shapiro, L., Sterling, E.Y.: The Art of PROLOG: Advanced Programming Techniques. The MIT Press, Cambridge (1994)"},{"key":"16_CR13","series-title":"Dagstuhl Seminar Proceedings","volume-title":"The Role of Business Processes in Service Oriented Architectures","author":"W. Aalst van der","year":"2006","unstructured":"van der Aalst, W., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Choreography conformance checking: An approach based on bpel and petri nets. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol.\u00a06291. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl (2006)"},{"issue":"2","key":"16_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data Knowl. Eng.\u00a047(2), 237\u2013267 (2003)","journal-title":"Data Knowl. Eng."},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-00899-3_13","volume":"2","author":"B.F. Dongen van","year":"2009","unstructured":"van Dongen, B.F., Alves de Medeiros, A.K., Wen, L.: Process mining: Overview and outlook of petri net discovery algorithms. T. Petri Nets and Other Models of Concurrency\u00a02, 225\u2013242 (2009)","journal-title":"T. Petri Nets and Other Models of Concurrency"},{"unstructured":"Wogulis, J., Pazzani, M.: A methodology for evaluating theory revision systems: Results with Audrey II. In: 13th IJCAI, pp. 1128\u20131134 (1993)","key":"16_CR16"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20511-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T04:11:26Z","timestamp":1558584686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20511-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205101","9783642205118"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20511-8_16","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}