conftrace_

conformance checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

declarative modeling (1) declarative process mining (1) query checking (1) process mining (1) temporal logic (1) answer set programming (1)

Papers

ASP-Based Declarative Process Mining AAAI 2022