{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T02:15:34Z","timestamp":1774059334628,"version":"3.50.1"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/tsmc.2013.2273310","type":"journal-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T18:16:29Z","timestamp":1400004989000},"page":"744-756","source":"Crossref","is-referenced-by-count":34,"title":["WoMan: Logic-Based Workflow Learning and Management"],"prefix":"10.1109","volume":"44","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"591","article-title":"Detecting implicit dependencies between tasks from event logs","volume":"3841","author":"wen","year":"0","journal-title":"Proc APWeb"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"ref12","first-page":"169","article-title":"A declarative approach for flexible business processes management","author":"pesic","year":"0","journal-title":"Proc Int Conf Bus Process Manage Workshops"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","article-title":"Exploiting inductive logic programming techniques for declarative process mining","author":"chesani","year":"2009","journal-title":"Transactions on Petri Nets and Other Models of Concurrency II"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04584-4_5"},{"key":"ref15","first-page":"292","article-title":"Probabilistic declarative process mining","author":"bellodi","year":"0","journal-title":"Proc Int Conf Knowl Sci Eng Manag"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1998.707491"},{"key":"ref17","article-title":"Decision mining in business processes","author":"rozinat","year":"2006","journal-title":"WP 164"},{"key":"ref18","first-page":"169","article-title":"Process mining manifesto","volume":"99","year":"0","journal-title":"Proc Bus Process Manage Workshops"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/FI-2009-0004","article-title":"A general similarity framework for horn clause logic","volume":"90","author":"ferilli","year":"2009","journal-title":"Fundamenta Inform"},{"key":"ref3","author":"cook","year":"1996","journal-title":"Discovering models of software processes from event-based data"},{"key":"ref6","first-page":"469","article-title":"Mining process models from workflow logs","author":"agrawal","year":"0","journal-title":"Proc Intl Conf Extending Database Technology"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39964-3_25"},{"key":"ref7","first-page":"93","article-title":"Rediscovering workflow models from event-based data","author":"weijters","year":"0","journal-title":"Proc Belgian-Dutch Conf Mach Learn"},{"key":"ref2","article-title":"A logic framework for incremental learning of process models","author":"ferilli","year":"0","journal-title":"Fundamenta Informaticae"},{"key":"ref9","article-title":"Process mining: Extending the $\\alpha$ -algorithm to mine short loops","author":"de medeiros","year":"2004","journal-title":"WP 113"},{"key":"ref1","first-page":"52","article-title":"An inductive approach to the acquisition and adaptation of workflow models","author":"herbst","year":"0","journal-title":"Proc Workshop Intell Workflow Process Manage New Frontier AI Bus"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21640-4_30"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2229156.2229157"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_18"},{"key":"ref24","article-title":"Incremental learning from positive examples","author":"bombini","year":"0","journal-title":"Proc Atti 24-Esimo CILC"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"389","DOI":"10.3233\/FUN-2006-69402","article-title":"Multistrategy operators for relational learning and their cooperation","volume":"69","author":"esposito","year":"2006","journal-title":"Fund Informaticae"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1260\/1748-3018.5.2.289"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6814830\/06578158.pdf?arnumber=6578158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T22:17:43Z","timestamp":1746224263000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6578158\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":27,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2013.2273310","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6]]}}}