{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T01:30:04Z","timestamp":1762738204054,"version":"3.41.2"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"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":[[2020,5]]},"DOI":"10.1109\/eais48028.2020.9122700","type":"proceedings-article","created":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T16:44:00Z","timestamp":1592930640000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Declarative Process Mining with WoMan"],"prefix":"10.1109","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[{"name":"University of Bari,Dept. of Computer Science,Bari,Italy"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1409635.1409637"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0101003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1998.707491"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45164-1_19"},{"key":"ref15","first-page":"175","article-title":"Dealing with concurrency in workflow induction","author":"herbst","year":"2000","journal-title":"Proc SCS Concurrent Eng Europe Conf"},{"key":"ref16","first-page":"93","article-title":"Rediscovering workflow models from event-based data","author":"weijters","year":"2001","journal-title":"Proc 11th Dutch-Belgian Conf Machine Learning (Benelearn 2001)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"ref28","article-title":"Incremental learning from positive examples","author":"bombini","year":"2009","journal-title":"Atti del 24-esimo Convegno Italiano di Logica Computazionale (CILC-2009)"},{"key":"ref4","article-title":"Discovering models of software processes from event-based data","author":"cook","year":"1996","journal-title":"Department of Computer Science University of Colorado Tech Rep CU-CS-819-96"},{"key":"ref27","first-page":"389","article-title":"Multistrategy operators for relational learning and their cooperation","volume":"69","author":"esposito","year":"2006","journal-title":"Fundamenta Inform"},{"key":"ref3","first-page":"52","article-title":"An inductive approach to the acquisition and adaptation of workflow models","author":"herbst","year":"1999","journal-title":"Proc IJCAI’99 Workshop on Intelligent Workflow and Process Management The New Frontier for AI in Business"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.12"},{"key":"ref29","first-page":"78","article-title":"Adapting to resident preferences in smart environments","author":"rashidi","year":"2008","journal-title":"Proceedings of the Association for the Advancement of Artificial Intelligence (AAAI) – Workshop on Preference Handling AAAI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/224019.224021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2273310"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2013-951"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2229156.2229157"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-019-00543-2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28108-2_19"},{"key":"ref20","first-page":"278","article-title":"Transactions on petri nets and other models of concurrency ii","author":"chesani","year":"2009","journal-title":"ch Exploiting Inductive Logic Programming Techniques for Declarative Process Mining"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04584-4_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480633"},{"key":"ref23","article-title":"Decision mining in business processes","author":"rozinat","year":"2006","journal-title":"WP 164 ser BETA Working Paper Series"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42019-6_3"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21916-0_45"}],"event":{"name":"2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS)","start":{"date-parts":[[2020,5,27]]},"location":"Bari, Italy","end":{"date-parts":[[2020,5,29]]}},"container-title":["2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9119729\/9122692\/09122700.pdf?arnumber=9122700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T17:55:00Z","timestamp":1753466100000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9122700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/eais48028.2020.9122700","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}