conftrace_

declarative modeling

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

conformance checking (1) abstraction layer (1) entity-level classification (1) declarative process mining (1) query checking (1) what-if analysis (1) topology representation (1) taxonomy curation (1) network automation (1) declarative configuration (1)

Papers

ASP-Based Declarative Process Mining AAAI 2022 Hands-On Interactive Neuro-Symbolic NLP with DRaiL EMNLP 2022 Experiences with Modeling Network Topologies at Multiple Levels of Abstraction NSDI 2020