A direct ASP encoding for Declare
summary
Proposes a direct ASP encoding of Declare constraints that implements Declare semantics as ASP rules rather than translating to LTL or automata, manually encoding about 20 patterns (example: response template). Compares three ASP encodings plus a Python baseline on real event logs (several BPI challenge logs), showing the direct encoding is usually faster and uses less memory for conformance and query checking, though ASP grounding still causes memory blowups on large query-checking instances compared to the imperative approach.
AI-written summary · about