-
1
-
-
0000826543
-
Negation as failure
-
Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293-322 (1977)
-
(1977)
Logic and Data Bases
, pp. 293-322
-
-
Clark, K.L.1
-
2
-
-
67651247161
-
Learning rules from user behaviour
-
Corapi, D., Ray, O., Russo, A., Bandara, A., Lupu, E.: Learning rules from user behaviour. In: Artificial Intelligence Applications and Innovations III, vol. 296, pp. 459-468 (2009)
-
(2009)
Artificial Intelligence Applications and Innovations III
, vol.296
, pp. 459-468
-
-
Corapi, D.1
Ray, O.2
Russo, A.3
Bandara, A.4
Lupu, E.5
-
3
-
-
84880233552
-
Inductive logic programming as abductive search
-
Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54-63 (2010)
-
(2010)
ICLP (Technical Communications)
, pp. 54-63
-
-
Corapi, D.1
Russo, A.2
Lupu, E.3
-
4
-
-
0001119421
-
The stable model semantics for logic programming
-
Kowalski, R., Bowen, K. (eds.) MIT Press, Cambridge
-
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming, pp. 1070-1080. MIT Press, Cambridge (1988)
-
(1988)
Logic Programming
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
5
-
-
40549086584
-
Process Mining as First-Order Classification Learning on Logs with Negative Events
-
ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. Springer, Heidelberg
-
Goedertier, S., Martens, D., Baesens, B., Haesen, R., Vanthienen, J.: Process Mining as First-Order Classification Learning on Logs with Negative Events. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 42-53. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4928
, pp. 42-53
-
-
Goedertier, S.1
Martens, D.2
Baesens, B.3
Haesen, R.4
Vanthienen, J.5
-
6
-
-
84911357542
-
-
Goedertier, S., Martens, D., Baesens, B., Haesen, R., Vanthienen, J.: A new approach for discovering business process models from event logs, vol. 716
-
A New Approach for Discovering Business Process Models from Event Logs
, vol.716
-
-
Goedertier, S.1
Martens, D.2
Baesens, B.3
Haesen, R.4
Vanthienen, J.5
-
7
-
-
67650447343
-
Robust process discovery with artificial negative events
-
Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust process discovery with artificial negative events. Journal of Machine Learning Research 10, 1305-1340 (2009)
-
(2009)
Journal of Machine Learning Research
, vol.10
, pp. 1305-1340
-
-
Goedertier, S.1
Martens, D.2
Vanthienen, J.3
Baesens, B.4
-
8
-
-
27544509425
-
Interactive workflow mining: Requirements, concepts and implementation
-
Hammori, M., Herbst, J., Kleiner, N.: Interactive workflow mining: requirements, concepts and implementation. Data Knowl. Eng. 56(1), 41-63 (2006)
-
(2006)
Data Knowl. Eng.
, vol.56
, Issue.1
, pp. 41-63
-
-
Hammori, M.1
Herbst, J.2
Kleiner, N.3
-
9
-
-
33947207063
-
Genetic process mining: An experimental evaluation
-
Medeiros, A.K., Weijters, A.J., Aalst, W.M.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14(2), 245-304 (2007)
-
(2007)
Data Min. Knowl. Discov.
, vol.14
, Issue.2
, pp. 245-304
-
-
Medeiros, A.K.1
Weijters, A.J.2
Aalst, W.M.3
-
11
-
-
33745116233
-
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
-
Bussler, C., et al. (eds.) BPM 2005. Springer, Heidelberg
-
Rozinat, A., van der Aalst, W.M.P.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C., et al. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163-176. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3812
, pp. 163-176
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
13
-
-
85174253036
-
Choreography conformance checking: An approach based on bpel and petri nets
-
Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl, Germany. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl
-
van der Aalst, W., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Choreography conformance checking: An approach based on bpel and petri nets. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 6291. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl (2006)
-
(2006)
Dagstuhl Seminar Proceedings
, vol.6291
-
-
Van Der Aalst, W.1
Dumas, M.2
Ouyang, C.3
Rozinat, A.4
Verbeek, H.M.W.5
-
14
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
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)
-
(2003)
Data Knowl. Eng.
, vol.47
, Issue.2
, pp. 237-267
-
-
Van Der Aalst, W.M.P.1
Van Dongen, B.F.2
Herbst, J.3
Maruster, L.4
Schimm, G.5
Weijters, A.J.M.M.6
-
15
-
-
79957510559
-
Process mining: Overview and outlook of petri net discovery algorithms
-
van Dongen, B.F., Alves de Medeiros, A.K., Wen, L.: Process mining: Overview and outlook of petri net discovery algorithms. T. Petri Nets and Other Models of Concurrency 2, 225-242 (2009)
-
(2009)
T. Petri Nets and Other Models of Concurrency
, vol.2
, pp. 225-242
-
-
Van Dongen, B.F.1
Alves De Medeiros, A.K.2
Wen, L.3
-
16
-
-
0009451773
-
A methodology for evaluating theory revision systems: Results with Audrey II
-
Wogulis, J., Pazzani, M.: A methodology for evaluating theory revision systems: Results with Audrey II. In: 13th IJCAI, pp. 1128-1134 (1993)
-
(1993)
13th IJCAI
, pp. 1128-1134
-
-
Wogulis, J.1
Pazzani, M.2
|