Statistical relational learning for workflow mining

Intelligent Data Analysis

Volumn 20, Issue 3, 2016, Pages 515-541

  Bellodi, Elena ^a   Riguzzi, Fabrizio ^a   Lamma, Evelina ^a  

^a UNIVERSITY OF FERRARA   (Italy)

Author keywords

business process management; inductive logic programming; knowledge based process models; process mining; statistical relational learning; Workflow mining

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; DATA MINING; ENTERPRISE RESOURCE MANAGEMENT; FORMAL LOGIC; GRAPHIC METHODS; KNOWLEDGE BASED SYSTEMS; MARKOV PROCESSES; PETRI NETS; PROBABILISTIC LOGICS; RECONFIGURABLE HARDWARE;

BUSINESS PROCESS MANAGEMENT; KNOWLEDGE-BASED PROCESS; PROCESS MINING; STATISTICAL RELATIONAL LEARNING; WORKFLOW MINING;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84969808336     PISSN: 1088467X     EISSN: 15714128     Source Type: Journal    
DOI: 10.3233/IDA-160818     Document Type: Article

References (58)

1. R. Agrawal, D. Gunopulos and F. Leymann, Mining process models from workflow logs, in: Proceedings of the 6th International Conference on Extending Database Technology (EDBT 1998), Springer, Berlin Heidelberg, Valencia, Spain, (23-27 March 1998), 469-483.
2. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, On the automatic verification of interaction protocols using g-SCIFF, Technical Report DEIS-LIA-04-004, LIA Series no. 72, DEIS-University of Bologna, Bologna, Italy, 2005.
3. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, Verifiable agent interaction in abductive logic programming: The SCIFF framework, ACM Transactions on Computational Logic 9(4) (2008), 1-43.
4. M. Alberti, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, An abductive interpretation for open societies, in: Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence (AI ∗ IA 2003), Springer-Verlag, Berlin, Pisa, Italy, (23-26 September 2003), 287-299.
5. M. Alberti, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, Specification and verification of agent interaction using social integrity constraints, Electronic Notes in Theoretical Computer Science 85(2) (2004), 94-116.
6. H. Blockeel, L. Dehaspe, J. Ramon, J. Struyf, A. van Assche, C. Vens and D. Fierens, The ACE datamining system, user's manual, https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf.
7. H. Blockeel and L. De Raedt, Top-down induction of first-order logical decision trees, Artificial Intelligence 101(1-2) (1998), 285-297.
8. Cervical cancer screening web site, http://www.cancer.gov/cancertopics/pdq/screening/cervical/healthprofessional.
9. F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi and S. Storari, Exploiting inductive logic programming techniques for declarative process mining, LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) 5460 (2009), 278-295.
10. F. Chesani, P. Mello, M. Montali and S. Storari, Towards a DecSerFlow declarative semantics based on computational logic, Technical Report DEIS-LIA-07-002, LIA Series no. 79, DEIS-University of Bologna, Bologna, Italy, 2007.
11. K.L. Clark, Negation as failure, in: Logic and Databases, H. Gallaire and J. Minker, eds, Plenum Press, New York, USA, 1978.
12. V.S. Costa, D. Page, M. Qazi and J. Cussens, CLP (BN): Constraint logic programming for probabilistic knowledge, in: Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI 2003), Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, Acapulco, Mexico, (7-10 August 2003), 517-524.
13. B. Cox, J.C. Tygar and M. Sirbu, NetBill security and transaction protocol, in: Proceedings of the First USENIX Workshop on Electronic Commerce (WOEC 1995), USENIX Association, Berkeley, CA, USA, New York, NY, USA, (11-12 July 1995), 77-88.
14. J. Davis and M. Goadrich, The relationship between precision-recall and ROC curves, in: Machine Learning, Proceedings of the 23rd International Conference (ICML 2006), ACM, New York, NY, USA, Pittsburgh, Pennsylvania, USA, (25-29 June 2006), 233-240.
15. A.K.A. de Medeiros, A.J.M.M.Weijters andW.M.P. van der Aalst, Genetic process mining: An experimental evaluation, Data Mining and Knowledge Discovery 14 (2007), 245-304.
16. L. De Raedt and L. Dehaspe, Clausal discovery, Machine Learning 26(2-3) (1997), 99-146.
17. L. De Raedt, P. Frasconi, K. Kersting and S. Muggleton, eds, Probabilistic Inductive Logic Programming - Theory and Applications, Springer, Berlin Heidelberg, 2008.
18. L. De Raedt, A. Kimmig and H. Toivonen, ProbLog: A probabilistic prolog and its application in link discovery, in: Proceedings of 20th International Joint Conference on Artificial Intelligence (IJCAI 2007),Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, Hyderabad, India, (6-12 January 2007), 2462-2467.
19. L. De Raedt and W. van Laer, Inductive constraint logic, in: Proceedings of the 6th Conference on Algorithmic Learning Theory (ALT 1995), Springer, Berlin Heidelberg, Fukuoka, Japan, (18-20 October 1995), 80-94.
20. P. Domingos, S. Kok, D. Lowd, H. Poon, M. Richardson and P. Singla, Markov logic, in: Probabilistic Inductive Logic Programming, L. De Raedt, P. Frasconi, K. Kersting and S. Muggleton, eds, Springer, Berlin Heidelberg, 2008.
21. R.Z. Farkhady and S.H. Aali, A probabilistic approach for process mining in incomplete and noisy logs, in: Proceedings of the International MultiConference on Engineers and Computer Scientists (IMECS 2011), Newswood Limited, Hong Kong, Hong Kong, China, 1 (16-18 March 2011), 415-421.
22. T. Fawcett, An introduction to ROC analysis, Pattern Recognition Letters - Special Issue: ROC Analysis in Pattern Recognition 27(8) (2006), 861-874.
23. D. Georgakopoulos, M.F. Hornick and A.P. Sheth, An overview of workflow management: From process modeling to workflow automation infrastructure, Distributed and Parallel Databases 3(2) (1995), 119-153.
24. L. Getoor and B. Taskar, eds, Introduction to Statistical Relational Learning, MIT Press, Cambridge, MA, USA, 2007.
25. G. Greco, A. Guzzo, L. Pontieri and D. Saccà, Discovering expressive process models by clustering log traces, IEEE Transactions on Knowledge and Data Engineering 18(8) (2006), 1010-1027.
26. A. Jorge and P. Brazdil, Integrity Constraints in ILP using a Monte Carlo approach, in: Proceedings of the 6th International Workshop on Inductive Logic Programming, Springer, Berlin Heidelberg, Stockholm, Sweden, (26-28 August 1996), 229-244.
27. K. Kersting and L. De Raedt, Towards combining inductive logic programming with bayesian networks, in: Proceedings of the 11th International Conference on Inductive Logic Programming (ILP 2001), Springer, Berling Heidelberg, Windsor Great Park, United Kingdom, (31st July-3rd August 2001), 118-131.
28. S. Kok and P. Domingos, Learning the structure of markov logic networks, in: Proceedings of the International Conference on Machine Learning and Applications (ICMLA 2005), ACM, New York, NY, USA, Los Angeles, California, (15-17 December 2005), 441-448.
29. S. Kok, P. Singla, M. Richardson, P. Domingos, M. Sumner, H. Poon, D. Lowd, J. Wang and A. Nath, The alchemy system for statistical relational AI: User manual, http://alchemy.cs.washington.edu/user-manual/manual.html.
30. E. Lamma, P. Mello, M. Montali, F. Riguzzi and S. Storari, Inducing declarative logic-based models from labeled traces, in: Proceedings of the 5th International Conference on Business Process Management (BPM 2007), Springer, Berlin Heidelberg, Brisbane, Australia, (24-28 September 2007), 344-359.
31. E. Lamma, P. Mello, F. Riguzzi and S. Storari, Applying inductive logic programming to process mining, in: Proceedings of the 17th International Conference on Inductive Logic Programming (ILP 2007), Springer, Berlin Heidelberg, Corvallis, OR, USA, (19-21 June 2008), 132-146.
32. D. Lowd and P. Domingos, Efficient weight learning for Markov Logic Networks, in: Proceedings of the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Springer-Verlag, (2007), 200-211.
33. F.M. Maggi, R.P.J.C. Bose and W.M.P. van der Aalst, Efficient discovery of understandable declarative process models from event logs, in: Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), Springer, Berlin Heidelberg, Gdánsk, Poland, (25-29 June 2012), 270-285.
34. F.M. Maggi, D. Corapi, A. Russo, E. Lupu and G. Visaggio, Revising process models through inductive learning, in: Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Revised Selected Papers, Springer, Berlin Heidelberg, Hoboken, NJ, USA, (13-15 September 2010), 182-193.
35. F.M. Maggi, A.J.Mooij and W.M.P. van der Aalst, User-guided discovery of declarative process models, in: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), IEEE, Paris, France, (11-15 April 2011), 192-199.
36. L. Mihalkova and R.J. Mooney, Bottom-up learning of Markov Logic Network structure, in: Machine Learning, Proceedings of the 24th International Conference (ICML 2007), ACM, New York, NY, USA, Corvallis, Oregon, USA, (20-24 June 2007), 625-632.
37. S. Muggleton, Learning structure and parameters of stochastic logic programs, in: Proceedings of the 12th International Conference on Inductive Logic Programming (ILP 2002), Springer, Berlin Heidelberg, Sydney, Australia, (9-11 July 2002), 198-206.
38. S. Muggleton and L. De Raedt, Inductive logic programming: Theory and methods, Journal of Logic Programming 19(20) (1994), 629-679.
39. M. Pesic, H. Schonenberg and W.M.P. van der Aalst, DECLARE: Full support for loosely-structured processes, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society Press, Annapolis, Maryland, USA, (15-19 October 2007), 287-300.
40. M. Pesic and W.M.P. van der Aalst, A declarative approach for flexible business processes management, in: Proceedings of the 2006 International Conference on Business Process Management Workshops (BPM 2006), Springer, Berlin Heidelberg, Vienna, Austria, (4-7 September 2006), 169-180.
41. H. Poon and P. Domingos, Sound and efficient inference with probabilistic and deterministic dependencies, in: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), AAAI Press, Boston, MA, USA, (16-20 July 2006), 458-463.
42. J.R. Quinlan, C4.5: Programs for Machine Learning, Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, 1993.
43. M. Richardson and P. Domingos, Markov logic networks, Machine Learning 62(1-2) (2006), 107-136.
44. A. Rozinat, R.S. Mans, M. Song and W.M.P. van der Aalst, Discovering colored Petri nets from event logs, International Journal on Software Tools for Technology Transfer (STTT) 10(1) (2008), 57-74.
45. R. Silva, J. Zhang and J.G. Shanahan, Probabilistic workflow mining, in: Proceedings of the 11th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2005), ACM, New York, NY, USA, Chicago, Illinois, USA, (21-24 August 2005), 275-284.
46. W.M.P. van der Aalst and M. Pesic, DecSerFlow: Towards a truly declarative service flow language, in: Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Springer, Berlin Heidelberg, Vienna, Austria, (8-9 September 2006), 1-23.
47. W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm and A.J.M.M.Weijters,Workflow mining: A survey of issues and approaches, Data Knowledge Engineering 47(2) (2003), 237-267.
48. W.M.P. van der Aalst, A. Adriansyah and B.F. van Dongen, Replaying history on process models for conformance checking and performance analysis, WIREs Data Mining and Knowledge Discovery 2(2) (2012), 182-192.
49. W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, R.S. Mans, A.K.A. de Medeiros, A. Rozinat, V. Rubin, M. Song, H.M.W.E. Verbeek and A.J.M.M. Weijters, Prom 4.0: Comprehensive support for Real process analysis, in: Petri Nets and Other Models of Concurrency, International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, volume 4546 of LNCS, Springer, (2007), 484-494.
50. W.M.P. van der Aalst and K.M. van Hee,Workflow Management: Models, Methods, and Systems,MIT Press, Cambridge, MA, USA, 2002.
51. W.M.P. van der Aalst, T.Weijters and L.Maruster,Workflow mining: Discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering 16(9) (2004), 1128-1142.
52. B.F. van Dongen, Multi-Phase process mining: Building instance graphs, in: Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004), Springer, Berlin Heidelberg, Shanghai, China, (8-12 November 2004), 362-376.
53. B.F. Van Dongen and H.M.W. Verbeek, Verification of EPCs: Using reduction rules and Petri nets, in: Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE 2005), Springer, Berlin Heidelberg, Porto, Portugal, (13-17 June 2005), 372-386.
54. K.M. van Hee, Z. Liu and N. Sidorova, Is my event log complete? a probabilistic approach to process mining, in: Proceedings of the 5th International Conference on Research Challenges in Information Science (RCIS 2011), IEEE, Guadeloupe - French West Indies, France, (19-21 May 2011), 1-7.
55. P. Weber, B. Bordbar and P. Tino, A principled approach to the analysis of process mining algorithms, in: Proceedings of the 12th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2011), Springer, Berlin Heidelberg, Norwich, UK, (7-9 September 2011), 474-481.
56. A.J.M.M. Weijters, W. van der Aalst and A.K.A. de Medeiros, Process Mining with the HeuristicsMiner algorithm, Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology, Eindhoven, Netherlands, 2006.
57. L.Wen,W.M.P. van der Aalst, J.Wang and J. Sun, Mining process models with non-free-choice constructs, Data Mining and Knowledge Discovery 15(2) (2007), 145-180.
58. L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang and J. Sun, Mining process models with prime invisible tasks, Data Knowledge Engineering 69(10) (2010), 999-1021.