[48]	Sander J. J. Leemans, Fabrizio Maria Maggi, and Marco Montali. Enjoy the silence: Analysis of stochastic petri nets with silent transitions. Information Systems, 2024. To appear. [ .pdf ]
[47]	Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, and Francesca Zerbato. The biggest business process management problems to solve before we die. Computers in Industry, 146:103837, 2023. [ DOI \| http \| .pdf ]
[46]	Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, and Ingo Weber. Ai-augmented business process management systems: A research manifesto. ACM Transactions on Management Information Systems, 14(1):11:1-11:19, 2023. [ DOI \| http \| .pdf ]
[45]	Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, and Sergio Tessaris. Process discovery on deviant traces and other stranger things. IEEE Transactions on Knowledge and Data Engineering, 35(11):11784-11800, 2023. [ DOI \| http \| .pdf ]
[44]	Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga. Conceptually-grounded mapping patterns for virtual knowledge graphs. Data and Knowledge Engineering, 145:102157, 2023. [ DOI \| http \| .pdf ]
[43]	Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, and Andrey Rivkin. A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Information Systems, 119:102271, 2023. [ DOI \| http \| .pdf ]
[42]	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, and Sarah Winkler. Data-aware conformance checking with SMT. Information Systems, 117:102230, 2023. [ DOI \| http \| .pdf ]
[41]	Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Monitoring hybrid process specifications with conflict management: an automata-theoretic approach. Artificial Intelligence in Medicine, 139:102512, 2023. [ DOI \| http \| .pdf ]
[40]	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, and Sarah Winkler. Multi-perspective conformance checking of uncertain process traces: An smt-based approach. Engineering Applications of Artificial Intelligence, 126:106895, 2023. [ DOI \| http \| .pdf ]
[39]	Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Petri net-based object-centric processes with read-only data. Information Systems, 107, 2022. [ DOI \| http \| .pdf ]
[38]	Anti Alman, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Probabilistic declarative process mining. Information Systems, 109, 2022. [ DOI \| http \| .pdf ]
[37]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Combination of uniform interpolants via beth definability. Journal of Automated Reasoning, 66(3):409-435, 2022. [ DOI \| http \| .pdf ]
[36]	Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, and Marco Montali. Monitoring constraints and metaconstraints with temporal logics on finite traces. ACM Transactions on Software Engineering and Methodology, 31(4), 2022. [ DOI \| http \| .pdf ]
[35]	Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, and Andrey Rivkin. Formal foundations for responsible application integration. Information Systems, 101, 2021. [ DOI \| http \| .pdf ]
[34]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Model completeness, uniform interpolants and superposition calculus. Journal of Automated Reasoning, 65(7):941-969, 2021. [ DOI \| http \| .pdf ]
[33]	Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, and Lluís Padró. Unleashing textual descriptions of business processes. Software and Systems Modeling, 20(6):2131-2153, 2021. [ DOI \| http \| .pdf ]
[32]	Massimiliano de Leoni, Paolo Felli, and Marco Montali. Integrating BPMN and DMN: modeling and analysis. Journal on Data Semantics, 10(1-2):165-188, 2021. [ DOI \| http \| .pdf ]
[31]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Smt-based verification of data-aware processes: a model-theoretic approach. Mathematical Structures in Computer Science, 30(3):271-313, 2020. [ DOI \| http \| .pdf ]
[30]	Diego Calvanese, Paul Fodor, and Marco Montali. Report on the 3rd international joint conference on rules and reasoning (ruleml+rr 2019). ACM SIGLOG News, 7(2):16-18, 2020. [ DOI \| http \| .pdf ]
[29]	José Miguel Pérez-Álvarez, María Teresa Gómez López, Rik Eshuis, Marco Montali, and Rafael M. Gasca. Verifying the manipulation of data objects according to business process and data models. Knowledge and Information Systems, 62(7):2653-2683, 2020. [ DOI \| http \| .pdf ]
[28]	Massimiliano de Leoni, Paolo Felli, and Marco Montali. Soundness verification of data-aware process models with variable-to-variable conditions. Fundamenta Informaticae, 2020. [ .pdf ]
[27]	Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, and Marco Montali. Semantic dmn: Formalizing and reasoning about decisions in the presence of background knowledge. Theory and Practice of Logic Programming, 19(4):536-573, 2019. [ DOI \| http \| .pdf ]
[26]	Giovanni Meroni, Luciano Baresi, Marco Montali, and Pierluigi Plebani. Multi-party business process compliance monitoring through iot-enabled artifacts. Information Systems, 73:61-78, 2018. [ DOI \| http \| .pdf ]
[25]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. First-order mu-calculus over generic transition systems and applications to the situation calculus. Information and Computation, 259:328-347, 2018. [ DOI \| http \| .pdf ]
[24]	Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali. Evaluating compliance: From LTL to abductive logic programming. Fundamenta Informaticae, 159(1-2):35-63, 2018. [ DOI \| http \| .pdf ]
[23]	Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, and Irene Teinemaa. Semantics, analysis and simplification of DMN decision tables. Information Systems, 78:112-125, 2018. [ DOI \| http \| .pdf ]
[22]	Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. On the relevance of a business constraint to an event log. Information Systems, 78:144-161, 2018. [ DOI \| http \| .pdf ]
[21]	Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, and Sergio Tessaris. Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning. Fundamenta Informaticae, 161(1-2):75-111, 2018. [ DOI \| http \| .pdf ]
[20]	Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. Resolving inconsistencies and redundancies in declarative process models. Information Systems, 64:425-446, 2017. [ DOI \| http \| .pdf ]
[19]	Marco Montali and Andrey Rivkin. DB-nets: on the marriage of colored petri nets and relational databases. Transactions on Petri Nets and Other Models of Concurrency, 12:91-118, 2017. [ DOI \| http \| .pdf ]
[18]	Marco Montali and Diego Calvanese. Soundness of data-aware, case-centric processes. International Journal on Software Tools for Technology Transfer, pages 1-24, 2016. [ DOI \| http \| .pdf ]
[17]	Marco Montali and Andrey Rivkin. Model checking petri nets with names using data-centric dynamic systems. Formal Aspects of Computing, pages 1-27, 2016. [ DOI \| http \| .pdf ]
[16]	Riccardo De Masellis, Domenico Lembo, Marco Montali, and Dmitry Solomakhin. Semantic enrichment of GSM-based artifact-centric models. Journal on Data Semantics, 4(1):3-27, 2015. [ DOI \| http \| .pdf ]
[15]	Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, and Wil M. P. Aalst. Compliance monitoring in business processes: Functionalities, application, and tool-support. Information Systems, 54:209-234, 2015. [ DOI \| http \| .pdf ]
[14]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems, 27(1):85-130, 2013. [ DOI \| http \| .pdf ]
[13]	Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, and Marco Montali. Description logic knowledge and action bases. Journal of Artificial Intelligence Research, 46:651-686, 2013. [ DOI \| .html \| .pdf ]
[12]	Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, and Wil M. P. van der Aalst. Monitoring business constraints with the event calculus. ACM Transactions on Intelligent Systems and Technology, 5(1), 2013. [ DOI \| http \| .pdf ]
[11]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale, 5(1):101-105, 2011. [ DOI \| http \| .pdf ]
[10]	Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, and Volha Bryl. Engineering and verifying agent-oriented requirements augmented by business constraints with b-tropos. Autonomous Agents and Multi-Agent Systems, 23(2):193-223, 2011. [ DOI \| http \| .pdf ]
[9]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Monitoring time-aware commitments within agent-based simulation environments. Cybernetics and Systems, 42(7):546-566, 2011. [ DOI \| http \| .pdf ]
[8]	Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A computational logic application framework for service discovery and contracting. International Journal of Web Service Research, 8(3):1-25, 2011. [ DOI \| http \| .pdf ]
[7]	Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems, 6(10):165-190, 2010. [ DOI \| http \| .pdf ]
[6]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. A logic-based, reactive calculus of events. Fundamenta Informaticae, 105(1-2):135-161, 2010. [ DOI \| http \| .pdf ]
[5]	Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, and Evelina Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3-4):325-361, 2010. [ DOI \| http \| .pdf ]
[4]	Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, and Davide Sottara. Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. case study: SBR plant. Environmental Modelling and Software, 25(5):648-660, 2010. [ DOI \| http \| .pdf ]
[3]	Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, and Sergio Storari. Declarative specification and verification of service choreographies. ACM Transactions on the Web, 4(1), 2010. [ DOI \| http \| .pdf ]
[2]	Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Exploiting inductive logic programming techniques for declarative process mining. Transactions on Petri Nets and Other Models of Concurrency, 5460:278-295, 2009. [ DOI \| http \| .pdf ]
[1]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Expressing and verifying contracts with abductive logic programming. International Journal of Electronic Commerce, 12(4), 2008. [ DOI \| .html \| .pdf ]

Book Chapters

Papers in Refereed International Conferences

[134]	Luca Geatti, Marco Montali, and Andrey Rivkin. Foundations of reactive synthesis for declarative process specifications. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press/The MIT Press, 2024. To appear. [ .pdf ]
[133]	Alessandro Gianola, Marco Montali, and Sarah Winkler. Linear-time verification of data-aware processes modulo theories via covers and automata. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press/The MIT Press, 2024. To appear. [ .pdf ]
[132]	Paolo Felli, Marco Montali, Fabio Patrizi, and Sarah Winkler. Monitoring arithmetic temporal properties on finite traces. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI), pages 6346-6354. AAAI Press/The MIT Press, 2023. [ DOI \| http \| .pdf ]
[131]	Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, and Marco Montali. Smt safety verification of ontology-based processes. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI), pages 6271-6279. AAAI Press/The MIT Press, 2023. [ DOI \| http \| .pdf ]
[130]	Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, and Marco Montali. Extracting event data from document-driven enterprise systems. In Iris Reinharzt-Berger and Marta Indulska, editors, Proceedings of the 35th International Conference on Advanced Information Systems Engineering (CAiSE), volume 13901 of Lecture Notes in Computer Science, pages 193-209. Springer, 2023. [ DOI \| http \| .pdf ]
[129]	Daniel Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, and Jan Martijn van der Werf. There and back again: On the reconstructability and rediscoverabilty of typed jackson nets. In Luis Gomes and Lorenz Lorenz, editors, Proceedings of the 44th International Conference on Petri Nets (PETRI NETS), volume 13929 of Lecture Notes in Computer Science, pages 37-58. Springer, 2023. [ DOI \| http \| .pdf ]
[128]	Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Safety verification and universal invariants for relational action bases. In Edith Elkind, editor, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI), pages 3248-3257. ijcai.org, 2023. [ DOI \| http \| .pdf ]
[127]	Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, and Marco Montali. Declarative process mining for software processes: The RuM toolkit and the Declare4Py python library. In Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, and Xiaozhou Li, editors, Proceedings of the 24th International Conference on Product-Focused Software Process Improvement (PROFES), volume 14484 of Lecture Notes in Computer Science, pages 13-19. Springer, 2023. [ DOI \| http \| .pdf ]
[126]	Alessandro Burigana, Paolo Felli, and Marco Montali. delphic: Practical DEL planning via possibilities. In Sarah Alice Gaggl, Maria Vanina Martinez, and Magdalena Ortiz, editors, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA), volume 14281 of Lecture Notes in Computer Science, pages 579-594. Springer, 2023. [ DOI \| http \| .pdf ]
[125]	Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). Safety verification and universal invariants for relational action bases. In Edith Elkind, editor, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI), pages 6452-6457. ijcai.org, 2023. [ DOI \| http \| .pdf ]
[124]	Paolo Felli, Marco Montali, and Sarah Winkler. Repairing soundness properties in data-aware processes. In Proceedings of the 5th International Conference on Process Mining (ICPM), IEEE Computer Society Press, pages 41-48. Springer, 2023. [ DOI \| http \| .pdf ]
[123]	Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, and Ramon Fraga Pereira. Plan recognition as probabilistic trace alignment. In Proceedings of the 5th International Conference on Process Mining (ICPM), IEEE Computer Society Press, pages 33-40. Springer, 2023. [ DOI \| http \| .pdf ]
[122]	Alessandro Burigana, Paolo Felli, Marco Montali, and Nicolas Troquard. A semantic approach to decidability in epistemic planning. In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, and Roxana Radulescu, editors, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI), volume 372, pages 319-326. IOS Press, 2023. [ DOI \| http \| .pdf ]
[121]	Francesco Riva, Dario Benvenuti, Fabrizio Maria Maggi, Andrea Marrella, and Marco Montali. An sql-based declarative process mining framework for analyzing process data stored in relational databases. In Chiara Di Francescomarino, Andrea Burattin, Christian Janiesch, and Shazia W. Sadiq, editors, Proceedings of the 2023 Business Process Management Forum, volume 490 of Lecture Notes in Business Information Processing, pages 214-231. Springer, 2023. [ DOI \| http \| .pdf ]
[120]	Luca Geatti, Marco Montali, and Andrey Rivkin. Foundations of collaborative Declare. In Chiara Di Francescomarino, Andrea Burattin, Christian Janiesch, and Shazia W. Sadiq, editors, Proceedings of the 2023 Business Process Management Forum, volume 490 of Lecture Notes in Business Information Processing, pages 214-231. Springer, 2023. [ DOI \| http \| .pdf ]
[119]	Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, and Alberto José Bugarín Diz. The droid you're looking for: C-4pm, a conversational agent for declarative process mining. In Dirk Fahland, Andrés Jiménez-Ramírez, Akhil Kumar, Jan Mendling, Brian T. Pentland, Stefanie Rinderle-Ma, Tijs Slaats, Johan Versendaal, Barbara Weber, Mathias Weske, and Karolin Winter, editors, Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2023, volume 3469. CEUR Electronic Workshop Proceedings, 2023. [ .pdf \| .pdf ]
[118]	Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, and Sarah Winkler. Approximating multi-perspective trace alignment using trace encodings. In Chiara Di Francescomarino, Andrea Burattin, Christian Janiesch, and Shazia Sadiq, editors, Proceedings of the 21st International Conference on Business Process Management (BPM), volume 14159 of Lecture Notes in Computer Science, pages 74-91. Springer, 2023. [ DOI \| http \| .pdf ]
[117]	Alessandro Burigana, Paolo Felli, Marco Montali, and Nicolas Troquard. A semantic approach to decidability in epistemic planning. In Noa Agmon, Bo An, Alessandro Ricci, and William Yeoh, editors, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Lecture Notes in Computer Science, pages 2361-2363. ACM Press and Addison Wesley, 2023. [ DOI \| http \| .pdf ]
[116]	Paolo Felli, Marco Montali, and Sarah Winkler. Linear-time verification of data-aware dynamic systems with arithmetic. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI), pages 5642-5650. AAAI Press/The MIT Press, 2022. [ DOI \| http \| .pdf ]
[115]	Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, and Marco Montali. Data and process resonance - identifier soundness for models of information systems. In Luca Bernardinello and Laure Petrucci, editors, Proceedings of the 43rd International Conference on Petri Nets (PETRI NETS), volume 13288 of Lecture Notes in Computer Science, pages 369-392. Springer, 2022. [ DOI \| http \| .pdf ]
[114]	Paolo Felli, Marco Montali, and Sarah Winkler. Ctl^* model checking for data-aware dynamic systems with arithmetic. In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson, editors, Proceedings of the 11th International Joint Conference on Automated Reasoning (IJCAR), volume 13385 of Lecture Notes in Computer Science, pages 36-56. Springer, 2022. [ DOI \| http \| .pdf ]
[113]	Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Multi-model monitoring framework for hybrid process specifications. In Xavier Franch, Geert Poels, Frederik Gailly, and Monique Snoeck, editors, Proceedings of the 34th International Conference on Advanced Information Systems Engineering (CAiSE), volume 13295 of Lecture Notes in Computer Science, pages 319-335. Springer, 2022. [ DOI \| http \| .pdf ]
[112]	Paolo Felli, Marco Montali, and Sarah Winkler. Soundness of data-aware processes with arithmetic conditions. In Xavier Franch, Geert Poels, Frederik Gailly, and Monique Snoeck, editors, Proceedings of the 34th International Conference on Advanced Information Systems Engineering (CAiSE), volume 13295 of Lecture Notes in Computer Science, pages 389-406. Springer, 2022. [ DOI \| http \| .pdf ]
[111]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces. In Luc De Raedt, editor, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI), pages 2553-2560. ijcai.org, 2022. [ DOI \| http \| .pdf ]
[110]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Combination of quantifier-free uniform interpolants using beth definability (abridged version). In Maria Manuel Clementino, editor, 2022 International Conference on Topology, Algebra and Categories in Logic (TACL), 2022.
[109]	Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, and Sergio Tessaris. Optimising business process discovery using answer set programming. In Daniela Inclezan and Marco Maratea, editors, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), volume 13416 of Lecture Notes in Computer Science, pages 498-504. Springer, 2022. [ DOI \| http \| .pdf ]
[108]	Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, and Sergio Tessaris. Shape your process: Discovering business processes from positive and negative traces taking into account user preferences. In João Paulo A. Almeida and Dimka Karastoyanova, editors, Proceedings of the 26th International Conference on Enterprise Design, Operations, and Computing (EDOC), volume 13585 of Lecture Notes in Computer Science, pages 217-234. Springer, 2022. [ DOI \| http \| .pdf ]
[107]	Sander J. J. Leemans, Fabrizio Maria Maggi, and Marco Montali. Reasoning on labelled petri nets and their dynamics in a stochastic setting. In Claudio Di Ciccio, Remco Dijkman, Adela del Río Ortega, and Stefanie Rinderle-Ma, editors, Proceedings of the 20th International Conference on Business Process Management (BPM), volume 13420 of Lecture Notes in Computer Science, pages 324-342. Springer, 2022. Best Paper Award. [ DOI \| http \| .pdf ]
[106]	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, and Sarah Winkler. Conformance checking with uncertainty via SMT. In Claudio Di Ciccio, Remco Dijkman, Adela del Río Ortega, and Stefanie Rinderle-Ma, editors, Proceedings of the 20th International Conference on Business Process Management (BPM), volume 13420 of Lecture Notes in Computer Science, pages 199-216. Springer, 2022. [ DOI \| http \| .pdf ]
[105]	Paolo Felli, Alessandro Gianola, and Marco Montali. Smt-based safety checking of parameterized multi-agent systems. In Kevin Leyton-Brown and Mausam, editors, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI), pages 6321-6330. AAAI Press/The MIT Press, 2021. [ http \| .pdf ]
[104]	Stephan Haarmann, Marco Montali, and Mathias Weske. Refining case models using cardinality constraints. In Shazia Sadiq and Ernest Teniente, editors, Proceedings of the 33rd International Conference on Advanced Information Systems Engineering (CAiSE), volume 12751 of Lecture Notes in Computer Science, pages 296-310. Springer, 2021. [ DOI \| http \| .pdf ]
[103]	Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga. ADaMaP: Automatic alignment of data sources using mapping patterns. In Shazia Sadiq and Ernest Teniente, editors, Proceedings of the 33rd International Conference on Advanced Information Systems Engineering (CAiSE), volume 12751 of Lecture Notes in Computer Science, pages 193-209. Springer, 2021. [ DOI \| http \| .pdf ]
[102]	Giuseppe De Giacomo, Paolo Felli, Marco Montali, and Giuseppe Perelli. Hyperldlf: a logic for checking properties of finite traces process logs. In Zhi-Hua Zhou, editor, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), pages 1859-1865. AAAI Press/The MIT Press, 2021. [ http \| .pdf ]
[101]	Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. A tool for computing probabilistic trace alignments. In Axel Korthaus and Selmin Nurcan, editors, Proceedings of the CAiSE 2021 Forum, volume 424 of Lecture Notes in Business Information Processing, pages 118-126. Springer, 2021. [ DOI \| http \| .pdf ]
[100]	Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Delta-bpmn: a concrete language and verifier for data-aware bpmn. In Artem Polyvyanyy, Manfred Reichert, Amy Van Looy, and Moe Thandar Wynn, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), volume 12875 of Lecture Notes in Computer Science, pages 179-196. Springer, 2021. [ DOI \| http \| .pdf ]
[99]	Anti Alman, Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Han van der Aa. Rum: Declarative process mining, distilled. In Artem Polyvyanyy, Manfred Reichert, Amy Van Looy, and Moe Thandar Wynn, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), volume 12875 of Lecture Notes in Computer Science, pages 179-196. Springer, 2021. [ DOI \| http \| .pdf ]
[98]	Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, and Marco Montali. Aligning data-aware declarative process models and event logs. In Artem Polyvyanyy, Manfred Reichert, Amy Van Looy, and Moe Thandar Wynn, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), volume 12875 of Lecture Notes in Computer Science, pages 235-251. Springer, 2021. [ DOI \| http \| .pdf ]
[97]	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, and Sarah Winkler. CoCoMoT: Conformance checking of multi-perspective processes via SMT. In Artem Polyvyanyy, Manfred Reichert, Amy Van Looy, and Moe Thandar Wynn, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), volume 12875 of Lecture Notes in Computer Science, pages 217-234. Springer, 2021. Best Paper Award. [ DOI \| http \| .pdf ]
[96]	Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Probabilistic trace alignment. In Claudio Di Ciccio, Chiara Di Francescomarino, and Pnina Soffer, editors, Proceedings of the 3rd International Conference on Process Mining (ICPM), IEEE Computer Society Press, pages 9-16. Springer, 2021. [ DOI \| http \| .pdf ]
[95]	Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Temporal logics over finite traces with uncertainty. In Vincent Conitzer and Fei Sha, editors, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), pages 10218-10225. AAAI Press/The MIT Press, 2020. [ DOI \| http \| .pdf ]
[94]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Combined covers and beth definability. In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR), volume 12166 of Lecture Notes in Computer Science, pages 181-200. Springer, 2020. [ DOI \| http \| .pdf ]
[93]	Fabrizio Maria Maggi, Marco Montali, and Peñaloza. Extending temporal business constraints with uncertainty. In Jörg Becker, Marlon Dumas, Dirk Fahland, and Chiara Ghidini, editors, Proceedings of the 18th International Conference on Business Process Management (BPM), volume 12168 of Lecture Notes in Computer Science, pages 35-54. Springer, 2020. [ DOI \| http \| .pdf ]
[92]	Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Petri nets with parameterised data: Modelling and verification. In Jörg Becker, Marlon Dumas, Dirk Fahland, and Chiara Ghidini, editors, Proceedings of the 18th International Conference on Business Process Management (BPM), volume 12168 of Lecture Notes in Computer Science, pages 55-74. Springer, 2020. [ DOI \| http \| .pdf ]
[91]	Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Probabilistic conformance checking based on declarative process models. In Nicolas Herbaut and Marcello La Rosa, editors, Proceedings of the CAiSE 2020 Forum, volume 386 of Lecture Notes in Business Information Processing, pages 86-99. Springer, 2020. [ DOI \| http \| .pdf ]
[90]	Massimiliano de Leoni, Paolo Felli, and Marco Montali. Strategy synthesis for data-aware dynamic systems with multiple actors. In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 315-325. AAAI Press/The MIT Press, 2020. [ DOI \| http \| .pdf ]
[89]	Paolo Felli, Alessandro Gianola, and Marco Montali. A smt-based implementation for safety checking of parameterized multi-agent systems. In Takahiro Uchiya, Quan Bai, and Ivan Marsa-Maestre, editors, Proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, volume 12568 of Lecture Notes in Computer Science, pages 259-280. Springer, 2020. Best Paper Award. [ DOI \| http \| .pdf ]
[88]	Emanuele Boselli, Silvia Fracalossi, Edoardo Longo, Marco Montali, Jan Polàk, Simone Poggesi, and Flavio Vella. A web-app for smart sensory analysis. In Kees de Graaf and Betina Piqueras-Fiszman, editors, 9th International Conference on Sensory and Consumer Research (EUROSENSE), 2020.
[87]	Paolo Felli, Massimiliano De Leoni, and Marco Montali. Soundness verification of decision-aware process models with variable-to-variable conditions. In Joerg Keller and Wojciech Penczek, editors, Proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD), pages 82-91. IEEE Computer Society Press, 2019. [ DOI \| http \| .pdf ]
[86]	Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, and Marco Montali. Reachability in database-driven systems with numerical attributes under recency bounding. In Christoph Koch and Dan Suciu, editors, Proceedings of the 38th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS), pages 335-352. ACM Press and Addison Wesley, 2019. [ DOI \| http \| .pdf ]
[85]	Andrea Burattin, Giancarlo Guizzardi, Fabrizio Maria Maggi, and Marco Montali. Fifty shades of green: How informative is a compliant process trace? In Paolo Giorgini and Barbara Weber, editors, Proceedings of the 31st International Conference on Advanced Information Systems Engineering (CAiSE), volume 11483 of Lecture Notes in Computer Science, pages 611-626. Springer, 2019. [ DOI \| http \| .pdf ]
[84]	Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Modeling and in-database management of relational, data-aware processes. In Paolo Giorgini and Barbara Weber, editors, Proceedings of the 31st International Conference on Advanced Information Systems Engineering (CAiSE), volume 11483 of Lecture Notes in Computer Science, pages 328-345. Springer, 2019. [ DOI \| http \| .pdf ]
[83]	Marco Montali and Andrey Rivkin. From DB-nets to coloured Petri nets with priorities. In Susanna Donatelli and Stefan Haar, editors, Proceedings of the 40th International Conference on Petri Nets (PETRI NETS), volume 11522 of Lecture Notes in Computer Science, pages 449-469. Springer, 2019. [ DOI \| http \| .pdf ]
[82]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Model completeness, covers and superposition. In Pascal Fontaine, editor, Proceedings of the 27th International Conference on Automated Deduction (CADE-27), volume 11716 of Lecture Notes in Computer Science, pages 142-160. Springer, 2019. [ DOI \| http \| .pdf ]
[81]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Formal modeling and SMT-based parameterized verification of data-aware BPMN. In Thomas Hildebrandt, Maximilian Röglinger, Boudewijn van Dongen, and Jan Mendling, editors, Proceedings of the 17th International Conference on Business Process Management (BPM), volume 11675 of Lecture Notes in Computer Science, pages 157-175. Springer, 2019. [ DOI \| http \| .pdf ]
[80]	Alessandro Artale, Alisa Kovtunova, Marco Montali, and Wil M. P. van der Aalst. Modelling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In Thomas Hildebrandt, Maximilian Röglinger, Boudewijn van Dongen, and Jan Mendling, editors, Proceedings of the 17th International Conference on Business Process Management (BPM), volume 11675 of Lecture Notes in Computer Science, pages 139-156. Springer, 2019. [ DOI \| http \| .pdf ]
[79]	Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, and Lluís Padró. Formal reasoning on natural language descriptions of processes. In Thomas Hildebrandt, Maximilian Röglinger, Boudewijn van Dongen, and Jan Mendling, editors, Proceedings of the 17th International Conference on Business Process Management (BPM), volume 11675 of Lecture Notes in Computer Science, pages 86-101. Springer, 2019. [ DOI \| http \| .pdf ]
[78]	Marco Montali and Andrey Rivkin. On db-nets and their applications. In Proceedings of the International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019), Communications in Computer and Information Science. Springer, 2019. [ .pdf ]
[77]	Evellin Cardoso, Marco Montali, and Diego Calvanese. Representing and querying norm states using temporal ontology-based data access. In Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 122-131. IEEE Computer Society Press, 2019. Best Paper Award. [ DOI \| http \| .pdf ]
[76]	Fabrizio Maria Maggi, Marco Montali, and Ubaier Bhat. Compliance monitoring of multi-perspective declarative process models. In Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 151-160. IEEE Computer Society Press, 2019. [ DOI \| http \| .pdf ]
[75]	Mathias Weske, Marco Montali, Ingo Weber, and Jan vom Brocke. BPM: foundations, engineering, management. In Mathias Weske, Marco Montali, Ingo Weber, and Jan vom Brocke, editors, Proceedings of the 16th International Conference on Business Process Management (BPM), volume 11080 of Lecture Notes in Computer Science, pages 3-11. Springer, 2018. [ DOI \| http \| .pdf ]
[74]	Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. Complexity of reachability for data-aware dynamic systems. In Proceedings of the 18th International Conference on Application of Concurrency to System Design (ACSD), pages 11-20. IEEE Computer Society Press, 2018. [ DOI \| http \| .pdf ]
[73]	Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, and Aman Sinha. Formalizing application integration patterns. In Pontus Johnson and Selmin Nurcan, editors, Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 11-20. IEEE Computer Society Press, 2018. Best Paper Award. [ DOI \| http \| .pdf ]
[72]	Massimiliano De Leoni, Paolo Felli, and Marco Montali. A holistic approach for soundness verification of decision-aware process models. In Juan Trujillo, Karen C. Davis, and Xiaoyong Du, editors, Proceedings of the 37th International Conference on Conceptual Modeling (ER), volume 11157 of Lecture Notes in Computer Science, pages 219-235. Springer, 2018. [ DOI \| http \| .pdf ]
[71]	Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, and Wil van der Aalst. Conceptual schema transformation in ontology-based data access. In Chiara Ghidini and Catherine Faron Zucker, editors, Proceedings of the 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW), volume 11313 of Lecture Notes in Computer Science, pages 50-67. Springer, 2018. [ DOI \| http \| .pdf ]
[70]	Luca Sabiucciu, Marco Montali, and Sergio Tessaris. A tool for the verification of data-aware business processes. In Chiara Ghidini, Bernardo Magnini, Andrea Passerini, and Paolo Traverso, editors, Proceedings of the 17th Conference of the Italian Association for Artificial Intelligence (AIIA), volume 11298 of Lecture Notes in Computer Science*, pages 266-276. Springer, 2018. [ DOI \| http \| .pdf ]
[69]	Andrey Rivkin, Daniel Ritter, and Marco Montali. Formalizing integration patterns with multimedia data. In Rik Eshuis and Alan Wee-Chung Liew, editors, Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 11-20. IEEE Computer Society Press, 2018. [ DOI \| http \| .pdf ]
[68]	Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, and Sergio Tessaris. Add data into business process verification: Bridging the gap between theory and practice. In Satinder P. Singh and Shaul Markovitch, editors, Proceedings of the 31th AAAI Conference on Artificial Intelligence (AAAI), pages 1091-1099. AAAI Press/The MIT Press, 2017. [ http \| .pdf ]
[67]	Diego Calvanese, Tahir Emre Kalaici, Marco Montali, and Stefano Tinella. Ontology-based data access for extracting event logs from legacy data: The onprom tool and methodology. In Witold Abramowicz, editor, Proceedings of the 20th International Conference on Business Information Systems (BIS), volume 288 of Lecture Notes in Business Information Processing, pages 220-236. Springer, 2017. [ DOI \| http \| .pdf ]
[66]	Federico Chesani, Paola Mello, and Marco Montali. Abductive reasoning on compliance monitoring - balancing flexibility and regulation. In Marzena Kryszkiewicz, Annalisa Appice, Dominik Slezak, Henryk Rybinski, Andrzej Skowron, and Zbigniew W. Ras, editors, Proceedings of the 23rd International Symposium on Foundations of Intelligent Systems (ISMIS), volume 10352 of Lecture Notes in Computer Science, pages 3-16. Springer, 2017. [ DOI \| http \| .pdf ]
[65]	Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso. OBDA for log extraction in process mining. In Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, and Steffen Staab, editors, Tutorial Lectures of the 13th International Summer School on Reasoning Web (RW): Semantic Interoperability on the Web, volume 10370 of Lecture Notes in Computer Science, pages 292-345. Springer, 2017. [ DOI \| http \| .pdf ]
[64]	Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, and Marco Montali. Semantic DMN: Formalizing decision models with domain knowledge. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Proceedings of the 1st International Joint Conference on Rules and Reasoning (RuleML+RR), volume 10364 of Lecture Notes in Computer Science, pages 70-86. Springer, 2017. Best Paper Award. [ DOI \| http \| .pdf ]
[63]	Marco Montali and Pierluigi Plebani. Iot-based compliance checking of multi-party business processes modeled with commitments. In Stefan Schulte and Flavio de Paoli, editors, Proceedings of the 6th European Conference on Service-Oriented and Cloud Computing (ESOCC), volume 10465 of Lecture Notes in Computer Science, pages 179-195. Springer, 2017. [ DOI \| http \| .pdf ]
[62]	Diego Calvanese, Tahir Emre Kalayici, Marco Montali, and Ario Santoso. The onprom toolchain for extracting business process logs using ontology-based data access. In Robert Clarisó, Henrik Leopold, Jan Mendling, Wil M. P. van der Aalst, Akhil Kumar, Brian T. Pentland, and Mathias Weske, editors, Proceedings of the BPM Demo Track and BPM Dissertation Award at BPM 2017, volume 1920. CEUR Electronic Workshop Proceedings, 2017. [ .pdf \| .pdf ]
[61]	Andrea Janes, Fabrizio Maria Maggi, Andrea Marrella, and Marco Montali. From zero to hero: A process mining tutorial. In Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, and Dietmar Winkler, editors, Proceedings of the 18th International Conference on Product-Focused Software Process Improvement (PROFES), volume 10611 of Lecture Notes in Computer Science, pages 625-629. Springer, 2017. [ DOI \| http \| .pdf ]
[60]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. On first-order mu-calculus over situation calculus action theories. In James Delgrande and Frank Wolter, editors, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 411-420. AAAI Press/The MIT Press, 2016. [ http \| .pdf ]
[59]	Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. Recency-bounded verification of dynamic database-driven systems. In Wang-Chew Tan and Tova Milo, editors, Proceedings of the 35th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS), pages 195-210. ACM Press and Addison Wesley, 2016. [ DOI \| http \| .pdf ]
[58]	Diego Calvanese, Marco Montali, Fabio Patrizi, and Michele Stawowy. Plan synthesis in knowledge and action bases. In Subbarao Kambhampati, editor, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), pages 1022-1029. AAAI Press/The MIT Press, 2016. [ http \| .pdf ]
[57]	Elisa Marengo, Patrick Dellasega, Marco Montali, and Werner Nutt. Towards a graphical language for process modelling in construction. In Sergio España, Mirjana Ivanovic, and Milos Savic, editors, Proceedings of the CAiSE 2016 Forum, volume 1612. CEUR Electronic Workshop Proceedings, 2016. [ .pdf \| .pdf ]
[56]	Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, and Irene Teinemaa. Semantics and analysis of DMN decision tables. In Marcello La Rosa, Peter Loos, and Oscar Pastor, editors, Proceedings of the 14th International Conference on Business Process Management (BPM), volume 9850 of Lecture Notes in Computer Science, pages 217-233. Springer, 2016. Best Paper Award. [ DOI \| http \| .pdf ]
[55]	Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. Semantical vacuity detection in declarative process mining. In Marcello La Rosa, Peter Loos, and Oscar Pastor, editors, Proceedings of the 14th International Conference on Business Process Management (BPM), volume 9850 of Lecture Notes in Computer Science, pages 158-175. Springer, 2016. [ DOI \| http \| .pdf ]
[54]	Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, and Sergio Tessaris. Abducing workflow traces: a general framework to manage incompleteness in business processes (short paper). In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, and Frank van Harmelen, editors, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), volume 285, pages 1734-1735. IOS Press, 2016. [ DOI \| http \| .pdf ]
[53]	Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, and Sergio Tessaris. Abducing compliance of incomplete event logs. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence (AIIA), volume 10037 of Lecture Notes in Computer Science*, pages 208-222. Springer, 2016. [ DOI \| http \| .pdf ]
[52]	Diego Calvanese, Giorgio Delzanno, and Marco Montali. Verification of relational multiagent systems with data types. In Blai Bonet and Sven Koenig, editors, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI), pages 2031-2037. AAAI Press/The MIT Press, 2015. [ http \| .pdf ]
[51]	Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, and Marco Montali. Declarative process modeling in bpmn. In Jelena Zdravkovic, Marite Kirikova, and Paul Johannesson, editors, Proceedings of the 27th International Conference on Advanced Information Systems Engineering (CAiSE), volume 9097 of Lecture Notes in Computer Science, pages 84-100. Springer, 2015. [ DOI \| http \| .pdf ]
[50]	Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. Ensuring model consistency in declarative process discovery. In Hamid Reza Motahari-Nezhad, Jan Recker, and Matthias Weidlich, editors, Proceedings of the 13th International Conference on Business Process Management (BPM), volume 9253 of Lecture Notes in Computer Science, pages 144-159. Springer, 2015. Best Paper Award. [ DOI \| http \| .pdf ]
[49]	Diego Calvanese, Marco Montali, and Ario Santoso. Verification of generalized inconsistency-aware knowledge and action bases. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 2847-2853. AAAI Press/The MIT Press, 2015. [ http \| .pdf ]
[48]	Parosh Aziz Abdulla, Giorgio Delzanno, and Marco Montali. Well structured transition systems with history. In Javier Esparza and Enrico Tronci, editors, Proceedings of the 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF), volume 193 of EPTCS, pages 115-128, 2015. [ DOI \| http \| .pdf ]
[47]	Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. Verification of human-driven data-centric dynamic systems. In Eric G. Mercer, Michael A. Goodrich, Neha Rungta, and Ellen J. Bass, editors, Proceedings of the AAAI Spring Symposium on Formal Verification and Modeling in Human-Machine Systems. AAAI Press/The MIT Press, 2014. [ http \| .pdf ]
[46]	Marco Montali, Diego Calvanese, and Giuseppe De Giacomo. Verification of data-aware commitment-based multiagent system. In Alessio Lomuscio and Paul Scerri, editors, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 157-164. IFAAMAS, 2014. [ .pdf \| .pdf ]
[45]	Riccardo De Masellis, Fabrizio Maria Maggi, and Marco Montali. Monitoring data-aware business constraints with finite state automata. In He Zhang, LiGuo Huang, and Ita Richardson, editors, Proceedings of the International Conference on Software and System Process (ICSSP), pages 134-143. ACM Press and Addison Wesley, 2014. [ DOI \| http \| .pdf ]
[44]	Babak Bagheri Hariri, Diego Calvanese, Alin Deutsch, and Marco Montali. State-boundedness for decidability of verification in data-aware dynamic systems. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press/The MIT Press, 2014. [ http \| .pdf ]
[43]	Giuseppe De Giacomo, Riccardo De Masellis, and Marco Montali. Reasoning on LTL on finite traces: Insensitivity to infiniteness. In Carla E. Brodley and Peter Stone, editors, Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI), pages 1027-1033. AAAI Press/The MIT Press, 2014. [ http \| .pdf ]
[42]	Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, and Marco Montali. Monitoring business metaconstraints based on LTL & LDL for finite traces. In Shazia Wasim Sadiq, Pnina Soffer, and Hagen Völzer, editors, Proceedings of the 12th International Conference on Business Process Management (BPM), volume 8659 of Lecture Notes in Computer Science, pages 1-17. Springer, 2014. [ DOI \| http \| .pdf ]
[41]	Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso. Verification of context-sensitive knowledge and action bases. In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA), volume 8761 of Lecture Notes in Computer Science, pages 514-528. Springer, 2014. [ DOI \| http \| .pdf ]
[40]	Vincenzo Del Fatto, Gabriella Dodero, Rosella Gennari, Alessandra Melonio, Marco Montali, Simon Razniewski, Santina Torello, Xiaofeng Wang, and Floriano Zini. Gamified children universities: An exploratory study. In Lennart E. Nacke and T. C. Nicholas Graham, editors, Proceedings of the 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY), pages 409-410. ACM Press and Addison Wesley, 2014. [ DOI \| http \| .pdf ]
[39]	Diego Calvanese, Montserrat Estanol, Marco Montali, and Ernest Teniente. Verifiable UML artifact-centric business process models. In Jianzhong Li, Xiaoyang Sean Wang, Minos N. Garofalakis, Ian Soboroff, Torsten Suel, and Min Wang, editors, Proceedings of the 23rd ACM International Conference on Information and Knowledge Management (CIKM), pages 1289-1298. ACM Press and Addison Wesley, 2014. [ DOI \| http \| .pdf ]
[38]	Marco Montali, Federico Chesani, Fabrizio Maria Maggi, and Paola Mello. Towards data-aware constraints in Declare. In Sung Y. Shin and José Carlos Maldonado, editors, Proceedings of the 28th Symposium On Applied Computing (SAC), pages 1391-1396. ACM Press and Addison Wesley, 2013. [ DOI \| http \| .pdf ]
[37]	Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. Verification of relational data-centric dynamic systems with external services. In Richard Hull and Wenfei Fan, editors, Proceedings of the 32nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS), pages 163-174. ACM Press and Addison Wesley, 2013. [ DOI \| http \| .pdf ]
[36]	Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. Verification of inconsistency-aware knowledge and action bases. In Francesca Rossi, editor, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press/The MIT Press, 2013. [ http \| .pdf ]
[35]	Diego Calvanese, Giuseppe De Giacomo, and Marco Montali. Foundations of data-aware process analysis: A database theory perspective. In Richard Hull and Wenfei Fan, editors, Proceedings of the 32nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS), pages 1-12. ACM Press and Addison Wesley, 2013. [ DOI \| http \| .pdf ]
[34]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Verification and synthesis in description logic based dynamic systems. In Wolfgang Faber and Domenico Lembo, editors, Proceedings of the 7th International Conference on Web Reasoning and Rule Systems (RR), volume 7994 of Lecture Notes in Computer Science, pages 50-64. Springer, 2013. Best Paper Award. [ DOI \| http \| .pdf ]
[33]	Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, and Wil M. P. van der Aalst. A framework for the systematic comparison and evaluation of compliance monitoring approaches. In Dragan Gasevic, Marek Hatala, Hamid R. Motahari Nezhad, and Manfred Reichert, editors, Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 7-16. IEEE Computer Society Press, 2013. [ DOI \| http \| .pdf ]
[32]	Fabrizio Maria Maggi, Marlon Dumas, Luciano Garcia-Banuelos, and Marco Montali. Discovering data-aware declarative process models from event logs. In Florian Daniel, Jianmin Wang, and Barbara Weber, editors, Proceedings of the 11th International Conference on Business Process Management (BPM), volume 8094 of Lecture Notes in Computer Science, pages 81-96. Springer, 2013. [ DOI \| http \| .pdf ]
[31]	Simon Razniewksi, Marco Montali, and Werner Nutt. Verification of query completeness over processes. In Florian Daniel, Jianmin Wang, and Barbara Weber, editors, Proceedings of the 11th International Conference on Business Process Management (BPM), volume 8094 of Lecture Notes in Computer Science, pages 155-170. Springer, 2013. [ DOI \| http \| .pdf ]
[30]	Emad Eldeen Elakehal, Marco Montali, and Julian Padget. Verifying MSMAS model using SCIFF. In Matthias Klusch, Matthias Thimm, and Marcin Paprzycki, editors, Proceedings of the 11th German Conference on Multiagent Systems Technologies (MATES), volume 8076 of Lecture Notes in Artificial Intelligence, pages 44-58. Springer, 2013. [ DOI \| http \| .pdf ]
[29]	Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, and Claudio Eccher. Automated activity recognition in clinical documents. In Proceedings of the 6th International Joint Conference on Natural Language Processing (IJCNLP), pages 1129-1133. Asian Federation of Natural Language Processing / ACL, 2013. [ .pdf \| .pdf ]
[28]	Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, and Diego Calvanese. Process fragment recognition in clinical documents. In Matteo Baldoni, Cristina Baroglio, Guido Boella, and Roberto Micalizio, editors, Proceedings of the XIIIth Conference of the Italian Association for Artificial Intelligence (AIIA), volume 8249 of Lecture Notes in Computer Science*, pages 227-238. Springer, 2013. [ DOI \| http \| .pdf ]
[27]	Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin. Verification of semantically-enhanced artifact systems (short paper). In Samik Basu, Cesare Pautasso, Liang Zhang, and Xiang Fu, editors, Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC), volume 8274 of Lecture Notes in Computer Science, pages 600-607. Springer, 2013. [ DOI \| http \| .pdf ]
[26]	Dmitry Solomakhin, Marco Montali, Sergio Tessaris, and Riccardo De Masellis. Verification of artifact-centric systems: Decidability and modeling issues. In Samik Basu, Cesare Pautasso, Liang Zhang, and Xiang Fu, editors, Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC), volume 8274 of Lecture Notes in Computer Science, pages 252-266. Springer, 2013. [ DOI \| http \| .pdf ]
[25]	Alessandro Russo, Massimo Mecella, Marco Montali, and Fabio Patrizi. Implementing and running data centric dynamic systems. In Proceedings of the 6th IEEE International Conference on Service Oriented Computing and Applications (SOCA), pages 225-232. IEEE Computer Society Press, 2013. [ DOI \| http \| .pdf ]
[24]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Description logic based dynamic systems: Modeling, verification, and synthesis. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 4247-4253. AAAI Press/The MIT Press, 2013. [ http \| .pdf ]
[23]	Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, and Wil M. P. van der Aalst. Runtime verification of LTL-based declarative process models. In Sarfraz Khurshid and Koushik Sen, editors, Proceedings of the 2nd International Conference on Runtime Verification (RV), volume 7186 of Lecture Notes in Computer Science, pages 131-146. Springer, 2012. [ DOI \| http \| .pdf ]
[22]	Fabrizio Maria Maggi, Marco Montali, and Wil M. P. van der Aalst. An operational decision support framework for monitoring business constraints. In Juan de Lara and Andrea Zisman, editors, 15th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 7212 of Lecture Notes in Computer Science, pages 146-162. Springer, 2012. [ DOI \| http \| .pdf ]
[21]	Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, and Marco Montali. Verification of description logic knowledge and action bases. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter J. F. Lucas, editors, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), volume 242 of Frontiers in Artificial Intelligence and Applications, pages 103-108. IOS Press, 2012. [ DOI \| http \| .pdf ]
[20]	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso. Ontology-based governance of data-aware processes. In Markus Krötzsch and Umberto Straccia, editors, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR), volume 7497 of Lecture Notes in Computer Science, pages 25-41. Springer, 2012. [ DOI \| http \| .pdf ]
[19]	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, and Davide Sottara. Fuzzy conformance checking of observed behaviour with expectations. In Roberto Pirrone and Filippo Sorbello, editors, Proceedings of the 12th Conference of the Italian Association for Artificial Intelligence (AIIA), volume 6934 of Lecture Notes in Computer Science*, pages 80-91. Springer, 2011. [ DOI \| http \| .pdf ]
[18]	Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, and Wil M. P. van der Aalst. Monitoring business constraints with linear temporal logic: An approach based on colored automata. In Stefanie Rinderle-Ma, Farouk Toumani, and Karsten Wolf, editors, Proceedings of the 9th International Conference on Business Process Management (BPM), volume 6896 of Lecture Notes in Computer Science, pages 132-147. Springer, 2011. [ DOI \| http \| .pdf ]
[17]	Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, and Davide Sottara. Event condition expectation (ECE-) rules for monitoring observable systems. In Frank Olken, Monica Palmirani, and Davide Sottara, editors, Proceedings of the 5th International Symposium Rule-Based Modeling and Computing on the Semantic Web (RuleML), volume 7018 of Lecture Notes in Computer Science, pages 267-281. Springer, 2011. [ DOI \| http \| .pdf ]
[16]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Monitoring time-aware social commitments with reactive event calculus. In Proceedings of the 20th European Meeting on Cybernetics and Systems Research, 7th International Symposium 'From Agent Theory to Agent Implementation' (AT2AI-7), pages 447-452. Austrian Society for Cybernetics Studies, 2010. Best Paper Award. [ http \| .pdf ]
[15]	Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, and Davide Sottara. An hybrid architecture integrating forward rules with fuzzy ontological reasoning. In Manuel Graña Romay, Emilio Corchado, and M. Teresa García-Sebastían, editors, Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS), volume 6076 of Lecture Notes in Computer Science, pages 438-445. Springer, 2010. [ DOI \| http \| .pdf ]
[14]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Role monitoring in open agent societies. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, and Lakhmi C. Jain, editors, Proceedings of the 4th International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA), volume 6070 of Lecture Notes in Computer Science, pages 112-121. Springer, 2010. [ DOI \| http \| .pdf ]
[13]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Declarative technologies for open agent systems and beyond. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, and Lakhmi C. Jain, editors, Proceedings of the 4th International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA), volume 6070 of Lecture Notes in Computer Science, pages 1-5. Springer, 2010. [ DOI \| http \| .pdf ]
[12]	Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, and Paolo Torroni. Integrating abductive logic programming and description logics in a dynamic contracting architecture. In Proceedings of the 7th IEEE International Conference on Web Services (ICWS), pages 254-261. IEEE Computer Society Press, 2009. [ DOI \| http \| .pdf ]
[11]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Commitment tracking via the reactive event calculus. In Craig Boutilier, editor, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), pages 91-96. AAAI Press/The MIT Press, 2009. [ .pdf \| .pdf ]
[10]	Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, and Mauro Torchio. A hybrid approach to clinical guideline and to basic medical knowledge conformance. In Carlo Combi, Yuval Shahar, and Ameen Abu-Hanna, editors, Proceedings of the 13th International Conference on Artificial Intelligence in Medicine (AIME), volume 5651 of Lecture Notes in Computer Science, pages 91-95. Springer, 2009. [ DOI \| http \| .pdf ]
[9]	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Verification from declarative specifications using logic programming. In Maria Garcia de la Banda and Enrico Pontelli, editors, 24th International Conference on Logic Programming (ICLP), volume 5366 of Lecture Notes in Computer Science, pages 440-454. Springer, 2008. [ DOI \| http \| .pdf ]
[8]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Web service contracting: Specification and reasoning with SCIFF. In Enrico Franconi, Michael Kifer, and Wolfgang May, editors, The Semantic Web: Research and Applications, Proceedings of the 4th European Semantic Web Conference (ESWC), volume 4519 of Lecture Notes in Computer Science, pages 68-83. Springer, 2007. [ DOI \| http \| .pdf ]
[7]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A rule-based approach for reasoning about collaboration between smart web services. In Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie, editors, Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR), volume 4524 of Lecture Notes in Computer Science, pages 279-288. Springer, 2007. [ DOI \| http \| .pdf ]
[6]	Federico Chesani, Paola Mello, Marco Montali, and Sergio Storari. Testing careflow process execution conformance by translating a graphical language to computational logic. In Riccardo Bellazzi, Ameen Abu-Hanna, and Jim Hunter, editors, Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME), volume 4594 of Lecture Notes in Computer Science, pages 479-488. Springer, 2007. [ DOI \| http \| .pdf ]
[5]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. A computational logic-based approach to verification of IT systems. In H. G. Hegering, editor, Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA), pages 338-343. Infonomics-Consulting, 2007. [ .html \| .pdf ]
[4]	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Inducing declarative logic-based models from labeled traces. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Proceedings of the 5th International Conference on Business Process Management (BPM), volume 4714 of Lecture Notes in Computer Science, pages 344-359. Springer, 2007. [ DOI \| http \| .pdf ]
[3]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali. An abductive framework for a-priori verification of web services. In Annalisa Bossi and Michael J. Maher, editors, Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pages 39-50. ACM Press and Addison Wesley, 2006. [ DOI \| http \| .pdf ]
[2]	Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, and Sergio Storari. A framework for defining and verifying clinical guidelines: A case study on cancer screening (short paper). In Floriana Esposito, Zbigniew W. Ras, Donato Malerba, and Giovanni Semeraro, editors, Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS), volume 4203 of Lecture Notes in Computer Science, pages 338-343. Springer, 2006. [ DOI \| http \| .pdf ]
[1]	Anna Ciampolini, Paola Mello, Marco Montali, and Sergio Storari. Using social integrity constraints for on-the-fly compliance verification of medical protocols. In Alexey Tsymbal and Padraig Cunningham, editors, Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05), pages 503-505. IEEE Computer Society Press, 2005. [ DOI \| http \| .pdf ]

Papers in Refereed International Workshops

[62]	Davide Lanti, Alessandro Mosca, Diego Calvanese, and Marco Montali. Direct mappings under the lens of information capacity (extended abstract). In Oliver Kutz, Carsten Lutz, and Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description Logics (DL), volume 3515. CEUR Electronic Workshop Proceedings, 2023. [ .pdf \| .pdf ]
[61]	Marco Montali and Sarah Winkler. Equivalence of data petri nets with arithmetic. In Jochen De Weerdt and Luise Pufahl, editors, Proceedings of the 2023 Business Process Management Workshops, volume 492 of Lecture Notes in Business Information Processing, pages 409-421. Springer, 2023. [ DOI \| http \| .pdf ]
[60]	Anti Alman, Fabrizio Maria Maggi, Marco Montali, and Andrey Rivkin. Generating event logs from hybrid process models. In Jochen De Weerdt and Luise Pufahl, editors, Proceedings of the 2023 Business Process Management Workshops, volume 492 of Lecture Notes in Business Information Processing, pages 289-301. Springer, 2023. [ DOI \| http \| .pdf ]
[59]	Ava Swevels, Dirk Fahland, and Marco Montali. Implementing object-centric event data models in event knowledge graphs. Lecture Notes in Business Information Processing. Springer, 2023. To appear. [ .pdf ]
[58]	Paolo Felli, Marco Montali, and Sarah Winkler. Reasoning and verification with data petri nets. In Tathagata Chakraborti, Giuseppe De Giacomo, Fabiana Fournier, Antonella Guzzo, Lior Limonad, and Marco Montali, editors, Proceedings of the Workshop on Process Management in the AI Era (PMAI), co-located with IJCAI 2022, volume 3310, pages 73-76. CEUR Electronic Workshop Proceedings, 2022. [ .pdf \| .pdf ]
[57]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Verification of generic, relational transition systems. In Tathagata Chakraborti, Giuseppe De Giacomo, Fabiana Fournier, Antonella Guzzo, Lior Limonad, and Marco Montali, editors, Proceedings of the Workshop on Process Management in the AI Era (PMAI), co-located with IJCAI 2022, volume 3310, pages 93-96. CEUR Electronic Workshop Proceedings, 2022. [ .pdf \| .pdf ]
[56]	Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, and Diego Calvanese. Extraction of object-centric event logs through virtual knowledge graphs. In Martin Homola and Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on Description Logics (DL), volume 3263. CEUR Electronic Workshop Proceedings, 2022. [ .pdf ]
[55]	Heba Aamer, Marco Montali, and Jan Van den Bussche. What can database query processing do for instance-spanning constraints? In Cristina Cabanillas, Niels Frederik Garmann-Johnsen, and Agnes Koschmider, editors, Proceedings of the BPM 2022 Workshops, 18th International Workshop on Business Process Intelligence (BPI), volume 460 of Lecture Notes in Computer Science, pages 132-144. Springer, 2022. [ DOI \| http \| .pdf ]
[54]	Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, and Marco Montali. Extracting event data from document-driven enterprise systems. EMISA Forum, 2022.
[53]	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, and Sarah Winkler. A modular smt-based approach for data-aware conformance checking. In Luca Geatti, Guido Sciavicco, and Alessandro Umbrico, editors, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY), volume 3311, pages 87-92. CEUR Electronic Workshop Proceedings, 2022. [ .pdf ]
[52]	Alessandro Burigana, Paolo Felli, and Marco Montali. DELPHIC: towards an efficient possibility-based epistemic planning framework. In Luca Geatti, Guido Sciavicco, and Alessandro Umbrico, editors, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY), volume 3311, pages 33-37. CEUR Electronic Workshop Proceedings, 2022. [ .pdf ]
[51]	Marco Montali. Constraints for process framing in AI-augmented BPM. In Cristina Cabanillas, Niels Frederik Garmann-Johnsen, and Agnes Koschmider, editors, Proceedings of the 2022 Business Process Management Workshops, volume 460 of Lecture Notes in Business Information Processing, pages 5-12. Springer, 2022. [ DOI \| http \| .pdf ]
[50]	Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, and Diego Calvanese. A virtual knowledge graph based approach for object-centric event logs extraction. In Marco Montali, Arik Senderovich, and Matthias Weidlich, editors, Proceedings of the International Process Mining Workshops, volume 468 of Lecture Notes in Business Information Processing, pages 466-478. Springer, 2022. [ DOI \| http \| .pdf ]
[49]	Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga. ADaMaP: Automatic alignment of relational data sources using mapping patterns (abstract). In Martin Homola, Vladislav Ryzhikov, and Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL), volume 2954. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[48]	Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, and Marco Montali. SMT-based safety verification of data-aware processes under ontologies (preliminary results). In Martin Homola, Vladislav Ryzhikov, and Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL), volume 2954. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[47]	Diego Calvanese, Sanja Lukumbuzya, Marco Montali, and Mantas Simkus. Process mining with common sense. In Iris Beerepoot, Claudio Di Ciccio, Andrea Marrella, Hajo A. Reijers, Stefanie Rinderle-Ma, and Barbara Weber, editors, Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS), volume 2938, pages 45-50. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[46]	Andrea Burattin, Alessandro Gianola, Hugo A. López, and Marco Montali. Exploring the conformance space (extended abstract). In Andrea Marrella and Daniele Theseider Dupré, editors, Proceedings of the 1st Italian Forum on Business Process Management (ITBPM), volume 2952, pages 62-67. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[45]	Gemma Di Federico, Andrea Burattin, and Marco Montali. Human behavior as a process model: Which language to use? In Andrea Marrella and Daniele Theseider Dupré, editors, Proceedings of the 1st Italian Forum on Business Process Management (ITBPM), volume 2952, pages 18-25. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[44]	Alessandro Gianola, Marco Montali, and Matteo Papini. Automated reasoning for reinforcement learning agents in structured environments. In Dario Della Monica, Gian Luca Pozzato, and Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY), volume 2987, pages 43-48. CEUR Electronic Workshop Proceedings, 2021. [ .pdf ]
[43]	Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga. Mapping patterns for virtual knowledge graphs (A report on ongoing research). In Stefan Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd International Workshop on Description Logics (DL), volume 2663. CEUR Electronic Workshop Proceedings, 2020. [ .pdf \| .pdf ]
[42]	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, and Arnaud Sangnier. On the formalization of decentralized contact tracing protocols (extended abstract). In Riccardo De Benedictis, Luca Geretti, and Andrea Micheli, editors, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY). CEUR Electronic Workshop Proceedings, 2020. [ .pdf ]
[41]	Evellin Cardoso and Marco Montali. A preliminary framework for strategic and compliance monitoring. In Proceedings of the IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW), pages 75-84. IEEE Computer Society Press, 2019. [ DOI \| http \| .pdf ]
[40]	Marco Montali. Putting decisions in perspective. In Chiara Di Francescomarino, Remco M. Dijkman, and Uwe Zdun, editors, Proceedings of the 2019 Business Process Management Workshops, volume 362 of Lecture Notes in Business Information Processing, pages 355-361. Springer, 2019. [ DOI \| http \| .pdf ]
[39]	Diego Calvanese, Marco Montali, and Jorge Lobo. Verification of fixed-topology declarative distributed systems with external data. In Dan Olteanu and Barbara Poblete, editors, Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), volume 2100. CEUR Electronic Workshop Proceedings, 2018. [ .pdf \| .pdf ]
[38]	Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, and Wil van der Aalst. Conceptual schema transformation in ontology-based data access (extended abstract). In Magdalena Ortiz and Thomas Schneider, editors, Proceedings of the 31st International Workshop on Description Logics (DL). CEUR Electronic Workshop Proceedings, 2018.
[37]	Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, and Marco Montali. Semantic DMN: Formalizing decision models with domain knowledge (extended abstract). In Alessandro Artale, Birte Glimm, and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics (DL). CEUR Electronic Workshop Proceedings, 2017.
[36]	Alessandro Artale, Marco Montali, Simone Tritini, and Wil M. P. van der Aalst. Object-centric behavioral constraints: Integrating data and declarative process modelling. In Alessandro Artale, Birte Glimm, and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics (DL), volume 1879. CEUR Electronic Workshop Proceedings, 2017. [ .pdf \| .pdf ]
[35]	Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. Resolving inconsistencies and redundancies in declarative process models (exented abstract). EMISA Forum, 37(1):30-31, 2017.
[34]	Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, and Irene Teinemaa. Semantics and analysis of DMN decision tables (extended abstract). EMISA Forum, 37(1):49-51, 2017.
[33]	Diego Calvanese, Marco Montali, Fabio Patrizi, and Michele Stawowy. Synthesizing and executing plans in knowledge and action bases. In Maurizio Lenzerini and Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics (DL), volume 1577. CEUR Electronic Workshop Proceedings, 2016. [ .pdf \| .pdf ]
[32]	Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, and Marco Montali. Towards data- and norm-aware multiagent systems. In Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, and Rym Zalila-Wenkstern, editors, Proceedings of the 4th International Workshop on Engineering Multi-Agent Systems (EMAS), Revised, Selected, and Invited Papers, volume 10093 of Lecture Notes in Computer Science, pages 22-38. Springer, 2016. [ DOI \| http \| .pdf ]
[31]	Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Implementing data-centric dynamic systems over a relational DBMS. In Andrea Calì and Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), volume 1378. CEUR Electronic Workshop Proceedings, 2015. [ .pdf \| .pdf ]
[30]	Diego Calvanese, Marco Montali, and Ario Santoso. Inconsistency management in generalized knowledge and action bases. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL), volume 1350. CEUR Electronic Workshop Proceedings, 2015. [ .pdf ]
[29]	Diego Calvanese, Marco Montali, Alifah Syamsiyah, and Wil M. P. Aalst. Ontology-driven extraction of event logs from relational databases. In Manfred Reichert and Hajo A. Reijers, editors, Proceedings of the BPM 2015 Workshops, 11th International Workshop on Business Process Intelligence (BPI), volume 256 of Lecture Notes in Computer Science, pages 140-153. Springer, 2015. [ DOI \| http \| .pdf ]
[28]	Alessandro Russo, Massimo Mecella, Marco Montali, and Fabio Patrizi. Towards a reference implementation for data centric dynamic systems. In Niels Lohmann, Minseok Song, and Petia Wohed, editors, Proceedings of the BPM 2013 Workshops, 2th International Workshop on Data and Artifact-Centric BPM (DAB), volume 171 of Lecture Notes in Computer Science, pages 141-154. Springer, 2014. [ DOI \| http \| .pdf ]
[27]	Marco Montali and Andrey Rivkin. Formal verification of petri nets with names. In Thomas T. Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich, editors, Proceedings of the 11th International Workshop on Web Services and Formal Methods (WS-FM), volume 9421 of Lecture Notes in Computer Science, pages 29-47. Springer, 2014. [ DOI \| http \| .pdf ]
[26]	Emad Eldeen Elakehal, Marco Montali, and Julian Padget. Run-time verification of msmas norms using event calculus. In Proceedings of the 1st International Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO). IEEE Computer Society Press, 2014. [ .html \| .pdf ]
[25]	Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso. Adding context to knowledge and action bases. In Michael Fink, Martin Homola, and Alessandra Mileo, editors, Proceedings of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic). arXiv.org e-Print archive, 2014. [ .pdf \| .pdf ]
[24]	Camilo Thorne, Marco Montali, Elena Cardillo, Claudio Eccher, and Diego Calvanese. The VERICLIG project: Extraction of computer interpretable guidelines via syntactic and semantic annotation. In Proceedings of the 1st Workshop on Computational Semantics in Clinical Text (CSCT), 2013. [ .pdf ]
[23]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Dynamic systems based on description logics: Formalization, verification, and synthesis. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL), volume 1014, pages 573-586. CEUR Electronic Workshop Proceedings, 2013. [ .pdf \| .pdf ]
[22]	Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. Verification of inconsistency-aware knowledge and action bases. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL), volume 1014, pages 107-119. CEUR Electronic Workshop Proceedings, 2013. [ .pdf \| .pdf ]
[21]	Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali. A retrospective on the reactive event calculus and commitment modeling language. In Chiaki Sakama, Sebastian Sardiña, Wamberto Vasconcelos, and Michael Winikoff, editors, Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT), Revised Selected and Invited Papers, volume 7169 of Lecture Notes in Computer Science, pages 120-127. Springer, 2012. [ DOI \| http \| .pdf ]
[20]	Diego Calvanese, Evgeny Kharlamov, Marco Montali, and Dmitriy Zheleznyakov. Inconsistency tolerance in OWL 2 QL Knowledge and Action Bases. In Pavel Klinov and Matthew Horridge, editors, Proceedings of OWL: Experiences and Directions Workshop (OWLED), volume 849. CEUR Electronic Workshop Proceedings, 2012. [ .pdf \| .pdf ]
[19]	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso. Semantically-governed data-aware processes. In Arthur H.M. ter Hofstede, Massimo Mecella, Sebastian Sardina, and Andrea Marrella, editors, Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP), volume 861. CEUR Electronic Workshop Proceedings, 2012. [ .pdf \| .pdf ]
[18]	Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, and Paolo Terenziani. Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In Florian Daniel, Kamel Barkaoui, and Schahram Dustdar, editors, Proceedings of the BPM 2011 Workshops, 4th International Workshop on Process-oriented Information Systems in Healthcare (ProHealth), volume 100 of Lecture Notes in Business Information Processing, pages 200-211. Springer, 2011. [ DOI \| http \| .pdf ]
[17]	Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Muñoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, and Moe Thandar Wynn. Process mining manifesto. In Florian Daniel, Kamel Barkaoui, and Schahram Dustdar, editors, Proceedings of the BPM 2011 Workshops, 7th International Workshop on Business Process Intelligence (BPI), volume 99 of Lecture Notes in Business Information Processing, pages 169-194. Springer, 2011. [ DOI \| http \| .pdf ]
[16]	Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, and Paolo Terenziani. Analysis of the GLARE and GPROVE approaches to clinical guidelines. In David Riaño, Annette ten Teije, Silvia Miksch, and Mor Peleg, editors, Proceedings of the AIME 2009 Workshop on Knowledge Representation for Health-Care: Patient Data, Processes and Guidelines (KR4HC), volume 5943 of Lecture Notes in Computer Science, pages 76-87. Springer, 2010. [ DOI \| http \| .pdf ]
[15]	Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali. Social commitments in time: Satisfied or compensated. In Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, and John Lloyd, editors, Proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies (DALT), Revised Selected and Invited Papers, volume 5948 of Lecture Notes in Computer Science, pages 228-243. Springer, 2010. Selected among the most cited papers in the DALT series. [ DOI \| http \| .pdf ]
[14]	Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari. Checking compliance of execution traces to business rules. In Danilo Ardagna, Massimo Mecella, and Jian Yang, editors, Proceedings of the BPM 2008 Workshops, 4th International Workshop on Business Process Intelligence (BPI), volume 17 of Lecture Notes in Business Information Processing, pages 134-145. Springer, 2009. [ DOI \| http \| .pdf ]
[13]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Verification of choreographies during execution using the reactive event calculus. In Roberto Bruni and Karsten Wolf, editors, Proceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM), volume 5387 of Lecture Notes in Computer Science, pages 55-72. Springer, 2009. [ DOI \| http \| .pdf ]
[12]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Verifying a-priori the composition of declarative specified services. In Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Peirre Gleizes, Joao Leite, Viviana Mascardi, Julian Padget, Juan Pavon, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, and Rineke Verbrugge, editors, 2nd Federated Workshop on Multi-Agent Logics, Languages, and Organisations (MALLOW) - 2nd International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies, volume 494. CEUR Electronic Workshop Proceedings, 2009. [ .pdf \| .pdf ]
[11]	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Verification from declarative specifications using logic programming. In 15th RCRA workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008. Appeared at ICLP 2008. [ http ]
[10]	Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, and Nicola Zannone. B-tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. In Fariba Sadri and Ken Satoh, editors, 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), volume 5056 of Lecture Notes in Computer Science, pages 157-176. Springer, 2008. [ DOI \| http \| .pdf ]
[9]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Ontological reasoning and abductive logic programming for service discovery and contracting. In Aldo Gangemi, Johannes Keizer, Valentina Presutti, and Heiko Stoermer, editors, 5th Workshop on Semantic Web Applications and Perspectives (SWAP), volume 429. CEUR Electronic Workshop Proceedings, 2008. [ .pdf \| .pdf ]
[8]	Federico Chesani, Paola Mello, Marco Montali, and Sergio Storari. Agent societies and service choreographies: a declarative approach to specification and verification. In Federated Workshop on Multi-Agent Logics, Languages, and Organisations (MALLOW) - 1st International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies, 2007. [ .pdf ]
[7]	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Learning decserflow models from labeled traces. In 1st International Workshop on the Induction of Process Models (IPM), 2007.
[6]	Federico Chesani, Paola Mello, Marco Montali, Marco Alberti, Marco Gavanelli, Evelina Lamma, and Sergio Storari. Abduction for specifying and verifying web service choreographies. In 4th International Workshop on AI for Service Composition (AISC), co-located with ECAI, 2006. [ .pdf ]
[5]	Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, and Sergio Storari. Testing guidelines conformance by translating a graphical language to computational logic. In Workshop on AI Techniques in Healthcare: Evidence-Based Guidelines and Protocols, co-located with ECAI, 2006. [ .pdf ]
[4]	Marco Alberti, Federico Chesani, Evelina Lamma, Marco Gavanelli, Paola Mello, Marco Montali, and Paolo Torroni. Policy-based reasoning for smart web service interaction. In Axel Polleres, Stefan Decker, Gopal Gupta, and Jos de Bruijn, editors, Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS), volume 196. CEUR Electronic Workshop Proceedings, 2006. [ .pdf \| .pdf ]
[3]	Alberto Martelli, Marco Alberti, Matteo Baldoni, Cristina Baroglio, Federico Chesani, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Viviana Patti, Fabrizio Riguzzi, Claudio Schifanella, Sergio Storari, and Paolo Torroni. Modeling, verifying and reasoning about web services (extended abstract). In Axel Polleres, Stefan Decker, Gopal Gupta, and Jos de Bruijn, editors, Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS), volume 196. CEUR Electronic Workshop Proceedings, 2006. [ .pdf ]
[2]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. Computational logic for run-time verification of web services choreographies: Exploiting the socs-si tool. In Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro, editors, Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM), volume 4184 of Lecture Notes in Computer Science, pages 58-72. Springer, 2006. [ DOI \| http \| .pdf ]
[1]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Expressing and verifying business contracts with abductive logic programming. In Guido Boella, Leendert W. N. van der Torre, and Harko Verhagen, editors, Dagstuhl Seminar Proceedings on Normative Multi-agent Systems, volume 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ .pdf ]

Authored Books

Edited Books

Papers in Refereed International Journals

Book Chapters

Papers in Refereed International Conferences

Papers in Refereed International Workshops

Papers in Refereed National Journals

Papers in Refereed National Conferences and Workshops

Theses

Technical Reports

[16]	Marco Montali, Arik Senderovich, and Matthias Weidlich, editors. Proceedings of the International Process Mining Workshops, volume 468 of Lecture Notes in Business Information Processing. Springer, 2023. [ DOI \| http ]
[15]	Tiago Prince Sales, Henderik A. Proper, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, and Claudenir M. Fonseca, editors. Proceedings of the Enterprise Design, Operations, and Computing Workshops - IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, volume 466 of Lecture Notes in Business Information Processing. Springer, 2023. [ DOI \| http ]
[14]	João Paulo A. Almeida, Thomas D. Kühne, and Marco Montali. Special issue on multi-level modeling process challenge editorial. EMISA International Journal on Conceptual Modeling, 17, 2022. [ DOI \| http ]
[13]	Marco Montali, Ingo Weber, Mathias Weske, and Manfred Reichert. Special issue: BPM 2018 selected papers in foundations and engineering. Information Systems, 103:101477, 2022. [ DOI \| http ]
[12]	Paul Fodor and Marco Montali. Special issue on the international joint conference on rules and reasoning (RuleML+RR 2019). Theory and Practice of Logic Programming, 22(2):158-161, 2022. [ DOI \| http ]
[11]	João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, and Claudenir M. Fonseca, editors. Proceedings of the 26th International Conference on Enterprise Design, Operations, and Computing (EDOC), volume 13585 of Lecture Notes in Computer Science. Springer, 2022. [ DOI \| http ]
[10]	Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, and Tagatha Chakraborti, editors. Proceedings of the Workshop on Process Management in the AI Era (PMAI), co-located with IJCAI 2022, volume 3310. CEUR Electronic Workshop Proceedings, 2022. [ http ]
[9]	Paolo Felli, Marco Montali, and Maurizio Proietti. Special issue on the 33rd italian conference on computational logic: CILC 2018. Fundamenta Informaticae, 178(4), 2021. [ DOI \| http ]
[8]	Boudewijn van Dongen, Marco Montali, and Moe Thandar Wynn, editors. Proceedings of the 2nd International Conference on Process Mining (ICPM 2020). IEEE Computer Society Press, 2020. [ DOI \| http ]
[7]	Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman, editors. Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR), volume 11784 of Lecture Notes in Computer Science. Springer, 2019. [ DOI \| http ]
[6]	Mathias Weske, Marco Montali, Ingo Weber, and Jan vom Brocke, editors. Proceedings of the Business Process Management Forum 2018, volume 329 of Lecture Notes in Business Information Processing. Springer, 2018. [ DOI \| http ]
[5]	Mathias Weske, Marco Montali, Ingo Weber, and Jan vom Brocke, editors. Proceedings of the 16th International Conference on Business Process Management (BPM 2018), volume 11080 of Lecture Notes in Computer Science. Springer, 2018. [ DOI \| http ]
[4]	Paolo Felli and Marco Montali, editors. Proceedings of the 33rd Italian Conference on Computational Logic (CILC 2018), volume 2214 of Lecture Notes in Computer Science. CEUR Electronic Workshop Proceedings, 2018. [ http ]
[3]	Matteo Baldoni, Federico Chesani, Paola Mello, and Marco Montali, editors. Proceedings of the Workshop Popularize Artificial Intelligence, co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIIA 2013)*, volume 1107. CEUR Electronic Workshop Proceedings, 2013. [ http ]
[2]	Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montali, editors. Proceedings of the AIIA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth*, volume 860. CEUR Electronic Workshop Proceedings, 2012. [ http ]
[1]	Stefano Bragaglia, Carlos Viegas Damasio, Marco Montali, Alun Preece, Charles Petrie, Mark Proctor, and Umberto Straccia, editors. Proceedings of the 5th International RuleML2011@BRF Challenge, volume 799. CEUR Electronic Workshop Proceedings, 2011. [ http ]

[8]	Claudio Di Ciccio and Marco Montali. Declarative process specifications: Reasoning, discovery, monitoring. In Wil M. P. van der Aalst and Josep Carmona, editors, Process Mining Handbook, volume 448 of Lecture Notes in Business Information Processing, pages 108-152. Springer, 2022. [ DOI \| http \| .pdf ]
[7]	Alessandro Artale, Diego Calvanese, Marco Montali, and Wil M. P. van der Aalst. Enriching data models with behavioral constraints. In Stefano Borgo, Roberta Ferrario, Claudio Masolo, and Laure Vieu, editors, Ontology Makes Sense - Essays in Honour of Nicola Guarino, volume 316 of Frontiers in Artificial Intelligence and Applications, pages 257-277. IOS Press, 2019. [ DOI \| http \| .pdf ]
[6]	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. From model completeness to verification of data-aware processes. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, editors, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of Lecture Notes in Computer Science, pages 212-239. Springer, 2019. [ DOI \| http \| .pdf ]
[5]	Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt, and Michael Reifer. Process management in construction - the expansion of the bolzano hospital. In Jan vom Brocke and Jan Mendling, editors, Business Process Management Cases, pages 257-274. Springer, 2018. [ DOI \| http \| .pdf ]
[4]	Federico Chesani, Catherine G. Enright, Marco Montali, and Michael G. Madden. Monitoring in the healthcare setting. In Arjen Hommersom and Peter J.F. Lucas, editors, Foundations of Biomedical Knowledge Representation, volume 9521 of Lecture Notes in Computer Science, pages 71-80. Springer, 2015. [ DOI \| http \| .pdf ]
[3]	Stefano Bragaglia, Federico Chesani, Paola Mello, and Marco Montali. Conformance verification of clinical guidelines in presence of computerized and human-enhanced processes. In Arjen Hommersom and Peter J.F. Lucas, editors, Foundations of Biomedical Knowledge Representation, volume 9521 of Lecture Notes in Computer Science, pages 81-106. Springer, 2015. [ DOI \| http \| .pdf ]
[2]	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Reactive event calculus for monitoring global computing applications. In Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, and Kostas Stathis, editors, Logic Programs, Norms and Action, volume 7360 of Lecture Notes in Computer Science, pages 123-146. Springer, 2012. [ DOI \| http \| .pdf ]
[1]	Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, and Marilena Manfredi. Compliance checking of cancer-screening careflows: an approach based on computational logic. In Sylvia Miksch, Annette Ten Teije, and Peter J.F. Lucas, editors, Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends, volume 139 of Studies in Health Technology and Informatics, pages 183-192. IOS Press, 2008. [ DOI \| http \| .pdf ]

[20]	Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Marco Montali, Guendalina Righetti, Nicolas Troquard, and Markus Zanker. Knowledge-driven and human-understandable explanations of black box models and process mining. In Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (Workshop AI Responsabile ed Affidabile), 2022. [ .pdf ]
[19]	Giuseppe Di Fatta, Andrea Janes, Paola Lecca, Fabrizio Maria Maggi, Marco Montali, and Floriano Zini. AI for medicine and health bozen-bolzano. In Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (Workshop AI per la medicina), 2022. [ .pdf ]
[18]	Diego Calvanese, Francesco Corcoglioniti, Julien Corman, Davide Lanti, Marco Montali, Alessandro Mosca, Nicolas Troquard, and Guohui Xiao. Semantic technologies in the public administration: Data and process management at unibz. In Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (Workshop AI per la pubblica amministrazione), 2022. [ .pdf ]
[17]	Diego Calvanese, Paolo Felli, Marco Montali, and Fabrizio Maria Maggi. AI for industry at the computer science faculty of the free university of bozen-bolzano. In Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (Workshop AI per l'industria), 2022. [ .pdf ]
[16]	Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, and Sergio Tessaris. Discovering business processes models expressed as dnf or cnf formulae of declare constraints. In Giovanni Ciatto and Roberta Calegari, editors, Proceedings of the 37th Italian Conference on Computational Logic (CILC), volume 3204, pages 201-216. CEUR Electronic Workshop Proceedings, 2022. To appear. [ .pdf \| .pdf ]
[15]	Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga. Conceptually-grounded mapping patterns for virtual knowledge graphs (extended abstract). In Domenico Lembo, Riccardo Torlone, and Andrea Marrella, editors, Proceedings of the 30th Italian Symposium on Advanced Database Systems (SEBD), volume 3194, pages 85-92. CEUR Electronic Workshop Proceedings, 2022. [ .pdf ]
[14]	Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, and Marco Montali. Convergence verification of declarative distributed systems. In Stefania Monica and Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic (CILC), volume 3002, pages 62-76. CEUR Electronic Workshop Proceedings, 2021. [ .pdf \| .pdf ]
[13]	Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, and Sergio Tessaris. Towards the generation of the “perfect” log using abductive logic programming. In Alberto Casagrande and Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic (CILC), volume 2396, pages 179-192. CEUR Electronic Workshop Proceedings, 2019. [ .pdf \| .pdf ]
[12]	Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Evaluating compliance: from LTL to abductive logic programming. In Davide Ancona, Marco Maratea, and Viviana Mascardi, editors, Proceedings of the 30th Italian Conference on Computational Logic (CILC), volume 1459, pages 101-116. CEUR Electronic Workshop Proceedings, 2015. [ .pdf \| .pdf ]
[11]	Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Leveraging relational technology for data-centric dynamic systems. In Domenico Lembo, Riccardo Torlone, and Andrea Marrella, editors, Proceedings of the 23rd Italian Symposium on Advanced Database Systems (SEBD), pages 60-71. Curran Associates, Inc., 2015.
[10]	Marco Montali, Diego Calvanese, and Giuseppe De Giacomo. Specification and verification of commitment-regulated data-aware multiagent systems. In Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic (CILC), volume 1195, pages 84-98. CEUR Electronic Workshop Proceedings, 2014. [ .pdf \| .pdf ]
[9]	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Verification and synthesis in description logic based dynamic systems (abridged version). In Laura Giordano, Stefania Montani, and Daniele Theseider Dupré, editors, Proceedings of the Workshop AI Meets Business Processes (AIBP@AIIA), co-located with the 13th Conference of the Italian Association for Artificial Intelligence*, volume 1101, pages 71-80. CEUR Electronic Workshop Proceedings, 2013. [ .pdf ]
[8]	Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, and Paolo Terenziani. Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In Proceedings of the 26th Italian Conference on Computational Logic (CILC), 2011.
[7]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. A logic-based, reactive calculus of events. In Proceedings of the 24th Italian Conference on Computational Logic (CILC), 2009.
[6]	Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. A REC-based commitment tracking tool (system demonstration). In Proceedings of the 10th AIIA/TABOO Joint Workshop 'From Objects to Agents': Simulation and Formal Analysis of Complex Systems (WOA)*, 2009. [ .pdf \| .pdf ]
[5]	Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, and Davide Sottara. Process quality assessment in automatic management of wastewater treatment plants using formal verification. In Simposio Internazionale di Ingegneria Sanitaria Ambientale (SIDISA), 2008. [ http ]
[4]	Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari. Compliance checking of execution traces to business rules: an approach based on logic programming. In Proceedings of the 23th Italian Conference on Computational Logic (CILC), 2008. [ .pdf ]
[3]	Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, and Nicola Zannone. Extending agent-oriented requirements with declarative business processes: a computational logic-based approach. In Proceedings of the 22nd Italian Conference on Computational Logic (CILC), 2007.
[2]	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali. A-priori verification of web services with abduction. In Proceedings of the 21st Italian Conference on Computational Logic (CILC), 2006. [ .pdf ]
[1]	Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, and Sergio Storari. Protocol specification and verification by using computational logic. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea Omicini, editors, Proceedings of the 6th AIIA/TABOO Joint Workshop 'From Objects to Agents': Simulation and Formal Analysis of Complex Systems (WOA)*, pages 184-192. Pitagora Editrice Bologna, 2005. [ .pdf \| .pdf ]

[3]	Marco Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. PhD thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna, 2009. [ http \| .pdf ]
[2]	Marco Montali. Un linguaggio grafico per la specifica e la verifica di protocolli. MEng Thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna, 2005.
[1]	Marco Montali. Modellazione dell'interazione nei sistemi multi-agente. BEng Thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna, 2003.