Abstract
In this chapter, we introduce the techniques existing in the literature in the context of declarative process mining, i.e., process mining techniques based on declarative process modeling languages. A declarative process mining technique is any technique that, in addition to taking as input an event log, takes as input or as output a (business) process model represented in a declarative process modeling notation. Declarative process mining techniques include techniques for process discovery, conformance checking, and compliance monitoring.