Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints

Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris. Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 201-216, CEUR-WS.org, 2022. [doi]

@inproceedings{ChesaniFGLMMMPT22,
  title = {Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints},
  author = {Federico Chesani and Chiara Di Francescomarino and Chiara Ghidini and Daniela Loreti and Fabrizio Maria Maggi and Paola Mello and Marco Montali and Elena Palmieri and Sergio Tessaris},
  year = {2022},
  url = {http://ceur-ws.org/Vol-3204/paper_21.pdf},
  researchr = {https://researchr.org/publication/ChesaniFGLMMMPT22},
  cites = {0},
  citedby = {0},
  pages = {201-216},
  booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022},
  editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini},
  volume = {3204},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}