conftrace_

process mining

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic (3) business process management (1) declarative process specification (1) conformance checking (1) declarative modeling (1) declarative process mining (1) query checking (1) declarative specification (1) faithfulness evaluation (1) large language model (1)

Papers

Are Large Language Models Fluent in Declarative Process Mining? IJCAI 2025 Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025 ASP-Based Declarative Process Mining AAAI 2022 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021