Haldimann, Jonas

1 publications

IJCAI 2025 Generalized Safe Conditional Syntax Splitting of Belief Bases Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle