, Ce travail a été partiellement financé par INTERREG Upper Rhine (Fond Européen de Développement Régional), les ministères de la recherche de

R. Alur and D. L. Dill, A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994.

A. Artikis, A. Skarlatidis, F. Portet, and G. Paliouras, Logic-based event recognition, The Knowledge Engineering Review, vol.27, issue.4, pp.469-506, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00953673

P. Barazzutti, A. Cordier, and B. Fuchs, Transmute : un outil interactif pour assister l'extraction de connaissances à partir de traces, Actes de la conférence Extraction et Gestion des Connaissances (EGC), pp.463-468, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01263101

P. Besnard and T. Guyet, , 2019.

P. Carle, C. Choppy, and R. Kervarc, Behaviour recognition using chronicles, Proceedings of the International Conference on Theoretical Aspects of Software Engineering, pp.100-107, 2011.

R. Dechter, I. Meiri, and E. J. Pearl, Temporal constraint networks, Artificial Intelligence, vol.49, issue.1-3, pp.61-95, 1991.

M. Ghallab, On chronicles : Representation, on-line recognition and learning, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.597-606, 1996.

O. Kostakis and P. Papapetrou, On searching and indexing sequences of temporal intervals, Data mining and knowledge discovery, vol.31, issue.3, pp.809-850, 2017.

M. Monroe, R. Lan, J. Morales-del-olmo, B. Shneiderman, C. Plaisant et al., The challenges of specifying intervals and absences in temporal queries : A graphical language approach, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.2349-2358, 2013.

D. Ulus and O. Maler, Specifying timed patterns using temporal logic, Proceedings of the 21st International Conference on Hybrid Systems : Computation and Control (HSCC), pp.167-176, 2018.