The four event logs are generated starting from a Declare model using a tool  based on Abductive Logic Programming. The Declare model has been inspired by the Loan Application process reported in . The positive and negative event logs can be used for discovering process models starting from positive and negative examples.
 D. Loreti, F. Chesani, A. Ciampolini, and P. Mello, “Generating synthetic positive and negative business process traces through
abduction,” Knowl. Inf. Syst., vol. 62, no. 2, pp. 813–839, 2020
 M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers, Fundamentals of Business Process Management, Second Edition.
The asset has been developed for the microproject "Discovering Temporal Logic Patterns as Binary Supervised Learning" that involves University of Bologna and Fondazione Bruno Kessler, as well as the Free University of Bolzano as external partner.