Direct Encoding of Declare Constraints in ASP
Sign Up to like & getrecommendations! Published in 2024 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068424000486
Abstract: Abstract 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 model tasks involving declarative specifications of business processes. In… read more here.
Keywords: declare constraints; declare; logic; encoding declare ... See more keywords
Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Knowledge and Data Engineering"
DOI: 10.1109/tkde.2019.2897309
Abstract: Declarative approaches to control-flow modeling use logic-based languages to formalize a number of constraints that valid traces must satisfy. The most noticeable example is the Declare framework based on linear temporal logic. Despite the interest… read more here.
Keywords: behavioral properties; declare; control flow; flow modeling ... See more keywords