{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T21:03:22Z","timestamp":1789765402650,"version":"4.0.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation  of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.<\/jats:p>","DOI":"10.24963\/kr.2023\/8","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:27:47Z","timestamp":1690828067000},"page":"75-85","source":"Crossref","is-referenced-by-count":5,"title":["Unified Foundations of Team Semantics via Semirings"],"prefix":"10.24963","author":[{"given":"Timon","family":"Barlag","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miika","family":"Hannula","sequence":"additional","affiliation":[{"name":"University of Helsinki"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juha","family":"Kontinen","sequence":"additional","affiliation":[{"name":"University of Helsinki"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nina","family":"Pardal","sequence":"additional","affiliation":[{"name":"University of Sheffield"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[{"name":"University of Sheffield"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2023","number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2023,9,2]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:27:57Z","timestamp":1690828077000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/8"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/8","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}