Knowledge Compilation for Nondeterministic Action Languages. - Sergej Scheck; Alexandre Niveau; Bruno Zanuttini (ICAPS, 2021)

A KC Map for Variants of Nondeterministic PDDL. - Sergej Scheck; Alexandre Niveau; Bruno Zanuttini (JIAF, 2022)

Knowledge compilation for nondeterministic action languages. (Compilation de connaissances pour les langages d'actions non déterministes). - Sergej Scheck (2022)

A knowledge compilation perspective on queries and transformations for belief tracking. - Alexandre Niveau; Héctor Palacios; Sergej Scheck; Bruno Zanuttini (Ann. Math. Artif. Intell., 2024)