{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T04:12:57Z","timestamp":1730002377827,"version":"3.28.0"},"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":[[2024,11]]},"abstract":"<jats:p>We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. \n\nIn Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that \n\n``everyone knows everything Alice says''.  \n\nQiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. \n\nFurthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers. \n\n<\/jats:p>","DOI":"10.24963\/kr.2024\/28","type":"proceedings-article","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:28Z","timestamp":1729924228000},"page":"295-305","source":"Crossref","is-referenced-by-count":0,"title":["Qiana: A First-Order Formalism to Quantify over Contexts and Formulas"],"prefix":"10.24963","author":[{"given":"Simon","family":"Coumes","sequence":"first","affiliation":[{"name":"Telecom Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Henri","family":"Paris","sequence":"additional","affiliation":[{"name":"T\u00e9l\u00e9com Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[{"name":"ENS Rennes"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian M.","family":"Suchanek","sequence":"additional","affiliation":[{"name":"T\u00e9l\u00e9com Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Hanoi, Vietnam","acronym":"KR-2024","number":"21","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":[[2024,11,1]]},"end":{"date-parts":[[2024,11,8]]}},"container-title":["Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:34Z","timestamp":1729924234000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2024\/28"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2024\/28","relation":{},"subject":[],"published":{"date-parts":[[2024,11]]}}}