Applying inductive logic programming to process mining

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4894 LNAI, Issue , 2008, Pages 132-146

  Lamma, Evelina ^a   Mello, Paola ^b   Riguzzi, Fabrizio ^a   Storari, Sergio ^a  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Business processes; Interaction protocols; Learning from interpretations; Process mining

Indexed keywords

CONSTRAINT THEORY; DATA MINING; LEARNING SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS CONTROL;

BUSINESS PROCESSES; INTERACTION PROTOCOLS; LEARNING FROM INTERPRETATIONS; PROCESS MINING;

LOGIC PROGRAMMING;

EID: 40249111624     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78469-2_16     Document Type: Conference Paper

References (17)

1. 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)
2. Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Schek, IL-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998)
3. 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)
4. 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)
5. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An abductive interpretation for open societies. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol. 2829, Springer, Heidelberg (2003)
6. De Raedt, L., Van Laer, W.: Inductive constraint logic. In: Zeugmann, T., Shinohara, T., Jantke, K.P. (eds.) ALT 1995. LNCS, vol. 997, Springer, Heidelberg (1995)
7. 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.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)
8. Clark, K.L.: Negation as failure. In: Logic and Databases, Plenum Press, New York (1978)
9. Alberti, M., Chesani, F., Gavanelli, M., Lamina, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework. In: ACM Transactions on Computational Logics (accepted for publication, 2007)
10. Raedt, L.D., Dehaspe, L.: Clausal discovery. Machine Learning 26(2-3), 99-146 (1997)
11. Apt, K.R., Bezem, M.: Acyclic programs. New Generation Comput 9(3/4), 335-364 (1991)
12. Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: Proceedings of the First International Conference on the Practical. Application of Intelligent Agents and Multi-Agent Technology (PAAM 1996), London, April 1996, pp." 75-90"(1996)
13. Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: Proceedings of the First USENIX Workshop on Electronic Commerce, New York (July 1995)
14. Socs protocol repository, http://edu59.deis.unibo.it:8079/ SOCSProtocolsRepository/jsp/index.jsp
15. 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)
16. Prom framework, http://is.tm.tue.nl/~cgunther/dev/prom/
17. Jorge, A., Brazdil, P.: Integrity constraints in ilp using a monte carlo approach. In: ILP 1996. LNCS, vol. 1314, pp. 229-244. Springer, Heidelberg (1997)