conftrace_

query checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

ASP-Based Declarative Process Mining AAAI 2022