Katrin Dannert


  • K. M. Dannert and E. Grädel. Semiring Provenance for Guarded Logics. In Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory through Algebraic Logic (to appear), Outstanding Contribution to Logic. Springer, 2020.             


  • K. M. Dannert and E. Grädel. Provenance Analysis: A Perspective for Description Logics? In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, vol. 11560 of Lecture Notes in Computer Science, pp. 266–285. Springer, 2019.             
  • K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv e-prints, pp. arXiv:1910.07910, 2019.             


  • K. M. Dannert. Succinct Counting and Progress Measures for Solving Infinite Games. Master thesis, RWTH Aachen University, 2017.