@inproceedings(BourgauxOzaPenPre20, author = {C. Bourgaux and A. Ozaki and Pe{\~{n}}aloza, R. and L. Predoiu}, year = {2020}, title = {Provenance for the Description Logic {ELHr}}, booktitle = {Proceedings of {IJCAI} 2020}, pages = {1862--1869}, doi = {10.24963/ijcai.2020/258}, ) @incollection(BradfieldWal18, author = {J. Bradfield and I. Walukiewicz}, year = {2018}, title = {The mu-calculus and model checking}, editor = {E. Clarke and T. Henzinger and H. Veith and R. Bloem}, booktitle = {Handbook of Model Checking}, publisher = {Springer}, pages = {871--919}, doi = {10.1007/978-3-319-10575-8_26}, ) @inproceedings(CanavoiGraLesPak15, author = {F. Canavoi and E Gr{\"{a}}del and S. Lessenich and W. Pakusa}, year = {2015}, title = {{Defining winning strategies in fixed-point logic}}, booktitle = {{30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}}, pages = {366--377}, doi = {10.1109/LICS.2015.42}, ) @misc(ChatterjeeDvoHenLoi16, author = {K. Chatterjee and W. Dvor{\'{a}}k and M. Henzinger and V. Loitzenbauer}, year = {2016}, title = {Conditionally Optimal Algorithms for Generalized {B}{\"{u}}chi Games}, howpublished = {arXiv:1607.05850 [cs.DS]}, url = {http://arxiv.org/abs/1607.05850}, ) @article(ChatterjeeHen14, author = {K. Chatterjee and M. Henzinger}, year = {2014}, title = {Efficient and Dynamic Algorithms for Alternating {B}{\"{u}}chi Games and Maximal End-Component Decomposition}, journal = {J. {ACM}}, volume = {61}, number = {3}, pages = {15:1--15:40}, doi = {10.1145/2597631}, ) @misc(ChatterjeeHenPit08, author = {K. Chatterjee and T. Henzinger and N. Piterman}, year = {2008}, title = {Algorithms for {B}{\"{u}}chi Games}, howpublished = {arXiv:0805.2620 [cs.GT]}, url = {http://arxiv.org/abs/0805.2620}, ) @incollection(DannertGra19, author = {K. Dannert and E. Gr\"{a}del}, year = {2019}, title = {Provenance Analysis: A Perspective for Description Logics?}, editor = {C. Lutz et al.}, booktitle = {Description Logic, Theory Combination, and All That}, series = {Lecture Notes in Computer Science}, volume = {11560}, publisher = {Springer}, pages = {266--285}, doi = {10.1007/978-3-030-22102-7_12}, ) @incollection(DannertGra20, author = {K. Dannert and E. Gr\"{a}del}, year = {2020}, title = {Semiring Provenance for guarded logics}, booktitle = {Hajnal Andr\IeC{\'e}ka and Istv\IeC{\'a}n N\IeC{\'e}meti on Unity of Science: From Computing to Relativity Theory through Algebraic Logic}, series = {Outstanding Contributions to Logic}, publisher = {Springer}, pages = {53--79}, doi = {10.1007/978-3-030-64187-0_3}, ) @inproceedings(DannertGraNaaTan21, author = {K. Dannert and E. Gr{\"a}del and M. Naaf and V. Tannen}, year = {2021}, title = {{Semiring Provenance for Fixed-Point Logic}}, editor = {C. Baier and Goubault-Larrecq, J.}, booktitle = {29th EACSL Annual Conference on Computer Science Logic (CSL 2021)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {183}, address = {Dagstuhl}, pages = {17:1--17:22}, doi = {10.4230/LIPIcs.CSL.2021.17}, ) @inproceedings(DeutchMilRoyTan14, author = {D. Deutch and T. Milo and S. Roy and V. Tannen}, year = {2014}, title = {Circuits for Datalog Provenance}, booktitle = {Proc. 17th International Conference on Database Theory ICDT}, publisher = {OpenProceedings.org}, pages = {201--212}, doi = {10.5441/002/icdt.2014.22}, ) @inproceedings(Duparc03, author = {J. Duparc}, year = {2003}, title = {Positive games and persistent strategies}, booktitle = {International Workshop on Computer Science Logic}, publisher = {Springer}, pages = {183--196}, doi = {10.1007/978-3-540-45220-1_17}, ) @article(GeertsPog10, author = {F. Geerts and A. Poggi}, year = {2010}, title = {On database query languages for {K-relations}}, journal = {Journal of Applied Logic}, volume = {8}, number = {2}, pages = {173--185}, doi = {10.1016/j.jal.2009.09.001}, ) @book(Graedel+07, author = {E. Gr{\"{a}}del and P. G. Kolaitis and L. Libkin and M. Marx and J. Spencer and M. Y. Vardi and Y. Venema and S. Weinstein}, year = {2007}, title = {Finite Model Theory and Its Applications}, series = {Texts in Theoretical Computer Science. An {EATCS} Series}, publisher = {Springer}, doi = {10.1007/3-540-68804-8}, ) @misc(GraedelLucNaa21, author = {E. Gr{\"a}del and N. L{\"u}cking and M. Naaf}, year = {2021}, title = {Semiring Provenance for B\IeC{\"u}chi Games: Strategy Analysis with Absorptive Polynomials}, howpublished = {arXiv:2106.12892 [cs.LO]}, url = {https://arxiv.org/abs/2106.12892}, ) @misc(GraedelTan17, author = {E. Gr{\"a}del and V. Tannen}, year = {2017}, title = {Semiring Provenance for First-Order Model Checking}, howpublished = {arXiv:1712.01980 [cs.LO]}, url = {https://arxiv.org/abs/1712.01980}, ) @article(GraedelTan20, author = {E. Gr{\"a}del and V. Tannen}, year = {2020}, title = {Provenance analysis for logic and games}, journal = {Moscow Journal of Combinatorics and Number Theory}, volume = {9}, number = {3}, pages = {203--228}, doi = {10.2140/moscow.2020.9.203}, note = {Preprint available at \url{https://arxiv.org/abs/1907.08470}}, ) @book(GraedelThoWil02, editor = {E. Gr{\"a}del and W. Thomas and T. Wilke}, year = {2002}, title = {{Automata, Logics, and Infinite Games}}, series = {{Lecture Notes in Compter Science}}, volume = {2500}, publisher = {{Springer}}, doi = {10.1007/3-540-36387-4}, ) @inproceedings(GreenKarTan07, author = {T. Green and G. Karvounarakis and V. Tannen}, year = {2007}, title = {Provenance semirings}, booktitle = {Principles of Database Systems {PODS}}, pages = {31--40}, doi = {10.1145/1265530.1265535}, ) @inproceedings(GreenTan17, author = {T. Green and V. Tannen}, year = {2017}, title = {The Semiring Framework for Database Provenance}, booktitle = {Proceedings of PODS}, publisher = {{ACM}}, pages = {93--99}, doi = {10.1145/3034786.3056125}, ) @inproceedings(MarcinkowskiTruderung02, author = {J. Marcinkowski and T. Truderung}, year = {2002}, title = {Optimal complexity bounds for positive {LTL} games}, booktitle = {International Workshop on Computer Science Logic}, publisher = {Springer}, pages = {262--275}, doi = {10.1007/3-540-45793-3_18}, ) @article(Mohri02, author = {M. Mohri}, year = {2002}, title = {Semiring frameworks and algorithms for shortest-distance problems}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {7}, number = {3}, pages = {321--350}, doi = {10.25596/jalc-2002-321}, ) @misc(Naaf21, author = {M. Naaf}, year = {2021}, title = {Computing Least and Greatest Fixed Points in Absorptive Semirings}, howpublished = {arXiv:2106.00399 [cs.LO]}, url = {https://arxiv.org/abs/2106.00399}, ) @inproceedings(OzakiPen18, author = {A. Ozaki and Pe{\~{n}}aloza, R.}, year = {2018}, title = {Provenance in Ontology-based Data Access}, booktitle = {Description Logics 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, url = {http://ceur-ws.org/Vol-2211/paper-28.pdf}, ) @article(RaghothamanMenZhaNaiSch20, author = {M. Raghothaman and J. Mendelson and D. Zhao and M. Naik and B. Scholz}, year = {2020}, title = {Provenance-guided synthesis of Datalog programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, pages = {62:1--62:27}, doi = {10.1145/3371130}, ) @article(Senellart17, author = {P. Senellart}, year = {2017}, title = {Provenance and Probabilities in Relational Databases: From Theory to Practice}, journal = {{SIGMOD} Record}, volume = {46}, number = {4}, pages = {5--15}, doi = {10.1145/3186549.3186551}, ) @article(Walukiewicz02, author = {I. Walukiewicz}, year = {2002}, title = {Monadic second-order logic on tree-like structures}, journal = {Theoretical Computer Science}, volume = {275}, pages = {311--346}, doi = {10.1016/S0304-3975(01)00185-2}, ) @article(XuZhaAlaTan18, author = {J. Xu and W. Zhang and A. Alawini and V. Tannen}, year = {2018}, title = {Provenance Analysis for Missing Answers and Integrity Repairs}, journal = {{IEEE} Data Eng. Bull.}, volume = {41}, number = {1}, pages = {39--50}, url = {http://sites.computer.org/debull/A18mar/p39.pdf}, )