Publications

2021

• 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 (J. Madarász and G. Székely, Eds.), Outstanding Contribution to Logic, pp. 53–79. Springer, 2021.             
  BibTeX

  @inproceedings{DG21,
       author = {Katrin M. Dannert and Erich Gr{\"{a}}del},
       title = {Semiring Provenance for Guarded Logics},
       booktitle = {Hajnal Andr{\'e}ka and Istv{\'a}n N{\'e}meti on Unity of Science: From Computing to Relativity Theory through Algebraic Logic},
       editor = {Judit Madar{\'a}sz and Gergely Sz{\'e}kely},
       year = {2021},
       series = {Outstanding Contribution to Logic},
       pages = {53--79},
       publisher = {Springer},
       doi = {10.1007/978-3-030-64187-0_3},
       url = {http://www.logic.rwth-aachen.de/pub/DannertGraedel.pdf},
  }
  

• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (C. Baier and J. Goubault-Larrecq, Eds.), vol. 183 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:22, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021.             
  BibTeX

  @inproceedings{DGNT21,
       author = {Katrin M. Dannert and Erich Gr{\"a}del and Matthias Naaf and Val Tannen},
       title = {{Semiring Provenance for Fixed-Point Logic}},
       booktitle = {29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
       pages = {17:1--17:22},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-175-7},
       issn = {1868-8969},
       year = {2021},
       volume = {183},
       editor = {Christel Baier and Jean Goubault-Larrecq},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/opus/volltexte/2021/13451},
       urn = {urn:nbn:de:0030-drops-134518},
       doi = {10.4230/LIPIcs.CSL.2021.17},
       annote = {Keywords: Finite Model Theory, Semiring Provenance, Absorptive Semirings, Fixed-Point Logics},
  }
  

2019

• 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.             
  BibTeX

  @inproceedings{DBLP:conf/birthday/DannertG19,
       author = {Katrin M. Dannert and Erich Gr{\"{a}}del},
       title = {Provenance Analysis: {A} Perspective for Description Logics?},
       booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday},
       pages = {266--285},
       year = {2019},
       series = {Lecture Notes in Computer Science},
       volume = {11560},
       publisher = {Springer},
       url = {http://www.logic.rwth-aachen.de/pub/dannert/ProvenanceAnalysisAPerspective.pdf},
       doi = {10.1007/978-3-030-22102-7\_12},
       timestamp = {Tue, 25 Jun 2019 17:39:16 +0200},
       biburl = {https://dblp.org/rec/bib/conf/birthday/DannertG19},
       bibsource = {dblp computer science bibliography, https://dblp.org},
  }
  

• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv:1910.07910 [cs.LO], 2019.             
  BibTeX

  @misc{DGNV19,
       author = {Katrin M. {Dannert} and Erich Gr{\"a}del and Matthias {Naaf} and Val {Tannen}},
       title = {{Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic}},
       year = {2019},
       url = {http://arxiv.org/abs/1910.07910},
       month = {Oct},
       howpublished = {arXiv:1910.07910 [cs.LO]},
  }
  

2017

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

  @misc{Dannert17,
       author = {Katrin M. Dannert},
       howpublished = {Master thesis, RWTH Aachen University},
       title = {Succinct Counting and Progress Measures for Solving Infinite Games},
       url = {http://logic.rwth-aachen.de/pub/dannert/masterarbeit.pdf},
       year = {2017},
  }