{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:27:44Z","timestamp":1781018864560,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-21-CE25-0010"],"award-info":[{"award-number":["ANR-21-CE25-0010"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,23]]},"DOI":"10.1145\/3748522.3779770","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"980-985","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Proof Systems Supporting Qualitative Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2545-6993","authenticated-orcid":false,"given":"Daniel","family":"Crowley","sequence":"first","affiliation":[{"name":"CRIL, Univ. Artois & CNRS, Lens, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0100-4428","authenticated-orcid":false,"given":"Yakoub","family":"Salhi","sequence":"additional","affiliation":[{"name":"CRIL, Univ. Artois & CNRS, Lens, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_2_1","volume-title":"2021. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications","author":"Biere Armin","unstructured":"Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, (Eds.) 2021. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications. Vol. 336. IOS Press."},{"key":"e_1_3_2_1_3_1","volume-title":"Knowledge Representation and Reasoning","author":"Brachman Ronald","unstructured":"Ronald Brachman and Hector Levesque. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008335.1008338"},{"key":"e_1_3_2_1_5_1","volume-title":"FLAIRS","author":"Gabelaia David","unstructured":"David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev. 2003. On the Computational Complexity of Spatio-Temporal Logics. In FLAIRS, USA. AAAI Press, 460\u2013464."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00193-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118601457"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Zhiguo Long and Sanjiang Li. 2015. On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. In COSIT.","DOI":"10.1007\/978-3-319-23374-1_17"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90041-4"},{"key":"e_1_3_2_1_10_1","unstructured":"David A. Randell Zhan Cui and Anthony Cohn. 1992. A Spatial Logic Based on Regions and Connection. In KR."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Michael Sioutis Jean-Fran\u00e7ois Condotta Yakoub Salhi and Bertrand Mazure. 2015. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. In TABLEAUX.","DOI":"10.1007\/978-3-319-24312-2_5"},{"key":"e_1_3_2_1_13_1","volume-title":"First-Order Logic","author":"Smullyan Raymond M.","unstructured":"Raymond M. Smullyan. 1968. First-Order Logic. Springer Verlag, New York."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Grigori S Tseitin. 1983. On the Complexity of Derivation in Propositional Calculus. Automation of reasoning: 2: Classical papers on computational logic 1967\u20131970 466\u2013483.","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90011-L"}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:38:41Z","timestamp":1781015921000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":15,"alternative-id":["10.1145\/3748522.3779770","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779770","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}