Direct Encoding of Declare Constraints in ASP

Francesco Chiariello, Valeria Fionda, Antonio Ielo +1

Answer Set Programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining. In particular, ASP has been used to m…