most citedDirect Encoding of Declare Constraints in ASP

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2024★ 1 cited

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…