Probabilistic logic-based process mining

CEUR Workshop Proceedings

Volumn 598, Issue , 2010, Pages

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

^a UNIVERSITY OF FERRARA   (Italy)

Author keywords

Business process management; Declarative process models; Process mining; Statistical relational learning

Indexed keywords

BUSINESS PROCESS MANAGEMENT; DECLARATIVE PROCESS MODELS; EFFICIENCY IMPROVEMENT; INTEGRITY CONSTRAINTS; LOGIC-BASED APPROACH; PROBABILISTIC CLASSIFICATION; PROCESS MINING; STATISTICAL RELATIONAL LEARNING;

COMPLIANCE CONTROL; DATA MINING; ENTERPRISE RESOURCE MANAGEMENT; MODEL CHECKING;

LOGIC PROGRAMMING;

EID: 84883435609     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. 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. 47(2), 237-267 (2003)
2. van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Business Process Management Workshops, BPM 2006 International Workshops, Vienna, Austria, September 4-7, 2006. LNCS, Vol. 4103, pp. 169-180. Springer (2006)
3. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006). LNCS, Vol. 4184. Springer (2006)
4. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128-1142 (2004)
5. Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Proceedings of the 6th International Conference on Extending Database Technology, EDBT'98. LNCS, Vol. 1377, pp. 469-483. Springer (1998)
6. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., P. Torroni: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4) (2008)
7. *IA 2003). LNAI, Vol. 2829. Springer Verlag (2003)
8. Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC II 5460, 278-295 (2009), http://www.springerlink.com/content/c4j2k38675588759/
9. Chesani, F., Mello, P., Montali, M., Storari, S.: Towards a decserflow declarative semantics based on computational logic. Technical Report DEIS-LIA-07-002, DEIS, Bologna, Italy (2007)
10. Clark, K.L.: Negation as failure. In: Logic and Databases. Plenum Press (1978)
11. De Raedt, L., Van Laer, W.: Inductive constraint logic. In: Proceedings of the 6th Conference on Algorithmic Learning Theory. LNAI, Vol. 997. Springer Verlag (1995)
12. Domingos, P., Kok, S., Lowd, D., Poon, H., Richardson, M., Singla, P.: Markov logic. In: Probabilistic Inductive Logic Programming. Lecture Notes in Computer Science, Vol. 4911, pp. 92-117. Springer (2008)
13. Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases 3(2), 119-153 (1995)
14. Greco, G., Guzzo, A., Pontieri, L., Saccà, D.: Discovering expressive process models by clustering log traces. IEEE Trans. Knowl. Data Eng. 18(8), 1010-1027 (2006)
15. Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing declarative logic-based models from labeled traces. In: Proceedings of the 5th International Conference on Business Process Management, BPM 2007. pp. 344-359. No. 4714 in Lecture Notes in Computer Science, Springer, Heidelberg, Germany (2007)
16. Lamma, E., Mello, P., Riguzzi, F., Storari, S.: Applying inductive logic programming to process mining. In: Proceedings of the 17th International Conference on Inductive Logic Programming, ILP 2007. pp. 132-146. No. 4894 in Lecture Notes in Artificial Intelligence, Springer, Heidelberg, Germany (2008), http://dx.doi.org/10.1007/978-3-540-78469-2-16
17. Provost, F.J., Fawcett, T.: Robust classification for imprecise environments. Machine Learning 42(3), 203-231 (2001)
18. Raedt, L.D., Dehaspe, L.: Clausal discovery. Machine Learning 26(2-3), 99-146 (1997)
19. Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62(1-2), 107-136 (2006)
20. Silva, R., Zhang, J., Shanahan, J.G.: Probabilistic workflow mining. In: Grossman, R., Bayardo, R.J., Bennett, K.P. (eds.) Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. pp. 275-284. ACM (2005)
21. Singla, P., Domingos, P.: Lifted first-order belief propagation. In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008. pp. 1094-1099. AAAI Press (2008)