Nolle, Timo; Luettgen, Stefan; Seeliger, Alexander; Mühlhäuser, Max Analyzing business process anomalies using autoencoders. (English) Zbl 1475.68320 Mach. Learn. 107, No. 11, 1875-1893 (2018). MSC: 68T07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fionda, Valeria; Greco, Gianluigi LTL on finite and process traces: complexity results and a practical reasoner. (English) Zbl 1451.68176 J. Artif. Intell. Res. (JAIR) 63, 557-623 (2018). MSC: 68Q60 03B44 68Q25 68T20 × Cite Format Result Cite Review PDF Full Text: DOI