Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña. Computing Trace Alignment against Declarative Process Models through Planning. In Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner, editors, Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. pages 367-375, AAAI Press, 2016. [doi]
Abstract is missing.