{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:27:00Z","timestamp":1766579220109,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3695750.3695822","type":"proceedings-article","created":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T06:21:58Z","timestamp":1728022918000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Generation of Logical Specifications for Behavioural Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9061-561X","authenticated-orcid":false,"given":"Radoslaw","family":"Klimek","sequence":"first","affiliation":[{"name":"AGH University of Krakow, Krakow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8504-2671","authenticated-orcid":false,"given":"Julia","family":"Witek","sequence":"additional","affiliation":[{"name":"AGH University of Krakow, Krakow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Schneider","author":"Alpern Bowen","year":"1985","unstructured":"Bowen Alpern and Fred B. Schneider. 1985. Defining liveness. Inform. Process. Lett. 21 (4) (1985), 181--185."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2018.2841877"},{"key":"e_1_3_2_1_3_1","volume-title":"Mathematical Logic for Computer Science","author":"Ben-Ari Mordechai","unstructured":"Mordechai Ben-Ari. 2012. Mathematical Logic for Computer Science (3rd ed.). Springer Publishing Company, Incorporated.","edition":"3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-00966-7_2"},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3rd ed.). The MIT Press.","edition":"3"},{"volume-title":"Handbook of Theoretical Computer Science, Jan van Leeuwen (Ed.).","author":"Emerson Ernest Allen","key":"e_1_3_2_1_6_1","unstructured":"Ernest Allen Emerson. 1990. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, Jan van Leeuwen (Ed.). Vol. B. MIT Press, 995--1072. http:\/\/dl.acm.org\/citation.cfm?id=114891.114907"},{"volume-title":"Advances in Data Mining","author":"Ferilli Stefano","key":"e_1_3_2_1_7_1","unstructured":"Stefano Ferilli. 2016. The WoMan Formalism for Expressing Process Models. In Advances in Data Mining. Applications and Theoretical Aspects, Petra Perner (Ed.). Springer International Publishing, Cham, 363--378."},{"key":"e_1_3_2_1_8_1","volume-title":"Safety and Liveness Properties: A Survey. EATCS-Bulletin 53","author":"Kindler Ekkart","year":"1994","unstructured":"Ekkart Kindler. 1994. Safety and Liveness Properties: A Survey. EATCS-Bulletin 53 (1994)."},{"key":"e_1_3_2_1_9_1","unstructured":"Stephen Cole Kleene. 1952. Introduction to Metamathematics. North-Holland."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2478\/amcs-2014-0069"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.02.005"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06257-0_6"},{"volume-title":"The Temporal Logic of Reactive and Concurrent Systems - Specification","author":"Manna Zohar","key":"e_1_3_2_1_14_1","unstructured":"Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag New York, Inc."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2008.020973"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/01445340.2015.1084183"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199541072.013.0008"},{"key":"e_1_3_2_1_18_1","article-title":"The design and implementation of VAMPIRE","volume":"15","author":"Riazanov Alexandre","year":"2002","unstructured":"Alexandre Riazanov and Andrei Voronkov. 2002. The design and implementation of VAMPIRE. Journal of AI Communications 15, 2, 3 (2002), 91--110.","journal-title":"Journal of AI Communications"},{"volume-title":"Property Driven Mining in Workflow Logs","author":"Roubtsova Ella E.","key":"e_1_3_2_1_19_1","unstructured":"Ella E. Roubtsova. 2005. Property Driven Mining in Workflow Logs. In Intelligent Information Processing and Web Mining, Mieczys\u0142aw A. K\u0142opotek, S\u0142awomir T. Wierzcho\u0144, and Krzysztof Trojanowski (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 471--475."},{"key":"e_1_3_2_1_20_1","unstructured":"Wolfgang Schreiner. 2023. First-order logic: software for proving Course 'Computational logic' https:\/\/moodle.risc.jku.at\/pluginfile.php\/11902\/mod_resource\/content\/9\/10-fol6.pdf. The last access 25.04.2024."},{"key":"e_1_3_2_1_21_1","first-page":"3","article-title":"E - a brainiac theorem prover","volume":"15","author":"Schulz Stephan","year":"2002","unstructured":"Stephan Schulz. 2002. E - a brainiac theorem prover. Journal of AI Communications 15, 2, 3 (aug 2002), 111--126.","journal-title":"Journal of AI Communications"},{"key":"e_1_3_2_1_22_1","unstructured":"Stephan Schulz. 2020. Website for prover E. http:\/\/wwwlehre.dhbw-stuttgart.de\/~sschulz\/E\/E.html accessed on 5-Aug-2024."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9143-8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316156353.004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2510366"},{"volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"van Benthem Johan","key":"e_1_3_2_1_26_1","unstructured":"Johan van Benthem. 1993--95. Handbook of Logic in Artificial Intelligence and Logic Programming. Clarendon Press, Chapter Temporal Logic, 241--350."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.11.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS","author":"van der Aalst W. M. P.","key":"e_1_3_2_1_30_1","unstructured":"W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. 2005. Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, Robert Meersman and Zahir Tari (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 130--147."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.3390\/a13110279"},{"volume-title":"Temporal logic","author":"Venema Yde","key":"e_1_3_2_1_32_1","unstructured":"Yde Venema. 2001. Temporal logic. In Blackwell Guide to Philosophical Logic, L. Goble (Ed.). Blackwell Publishers, 203--223."},{"key":"e_1_3_2_1_33_1","unstructured":"Andrei Voronkov. 2017. Website for prover Vampire. https:\/\/vprover.github.io\/ accessed on 5-Aug-2024."},{"volume-title":"WP 166","author":"Weijters A.J.M.M.","key":"e_1_3_2_1_34_1","unstructured":"A.J.M.M. Weijters, W.M.P. van der Aalst, and A.K. Alves de Medeiros. 2006. Process Mining with the Heuristics Miner-algorithm. BETA Working Paper Series, WP 166, Eindhoven University of Technology, Eindhoven."},{"volume-title":"Master diploma thesis, supervisor: Rados\u0142aw Klimek","author":"Witek Julia","key":"e_1_3_2_1_35_1","unstructured":"Julia Witek. 2023. Workflow mining from system logs generating their logical specification [in Polish], Master diploma thesis, supervisor: Rados\u0142aw Klimek, AGH University of Krakow."},{"key":"e_1_3_2_1_36_1","volume-title":"Temporal and Dynamic Logic","author":"Wolter Fank","year":"2011","unstructured":"Fank Wolter and Michael Wooldridge. 2011. Temporal and Dynamic Logic. Journal of Indian Council of Philosophical Research XXVII(1) (2011), 249--276."}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering Workshops","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Sacramento CA USA","acronym":"ASE '24"},"container-title":["Proceedings of the 2024 Workshop on Replications and Negative Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3695750.3695822","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3695750.3695822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:36:36Z","timestamp":1755981396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3695750.3695822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":36,"alternative-id":["10.1145\/3695750.3695822","10.1145\/3695750"],"URL":"https:\/\/doi.org\/10.1145\/3695750.3695822","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}