{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:08:40Z","timestamp":1740100120350,"version":"3.37.3"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470511","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["On Logics and Homomorphism Closure"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Feller","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Knauer","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"ref12","first-page":"267","article-title":"The quest for a logic capturing PTIME","author":"grohe","year":"2008","journal-title":"Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90055-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802187"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"ref16","article-title":"Finite model theory of the triguarded fragment and related logics","author":"kiero?ski","year":"2021","journal-title":"Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90027-6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1379759.1379763"},{"key":"ref19","first-page":"27:1","article-title":"An improved homomorphism preservation theorem from lower bounds in circuit complexity","author":"rossman","year":"2017","journal-title":"8th Innovations in Theoretical Computer Science Conference (ITCS) volume 67 of LIPIcs"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/LICS52264.2021.9470511","article-title":"On logics and homomorphism closure","author":"bodirsky","year":"2021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/9781107337534"},{"key":"ref6","article-title":"The Classical Decision Problem","author":"b\u00f6rger","year":"1997","journal-title":"Perspectives in Mathematical Logic"},{"article-title":"Datalog-expressibility for monadic and guarded second-order logic","year":"0","author":"bodirsky","key":"ref5"},{"key":"ref8","first-page":"43","article-title":"Generalized first-order spectra, and polynomial-time recognizable sets","volume":"7","author":"fagin","year":"1974","journal-title":"Complexity of Computation SIAM-AMS Proceedings"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-10(2:3)2014","article-title":"Querying the guarded fragment","volume":"10","author":"b\u00e1r\u00e1ny","year":"2014","journal-title":"Log Methods Comput Sci"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01744431"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1145\/2701414","article-title":"Guarded negation","volume":"62","author":"b\u00e1r\u00e1ny","year":"2015","journal-title":"Journal of the ACM"},{"key":"ref20","first-page":"151","article-title":"Flag & check: data access with monad-ically defined queries","author":"rudolph","year":"2013","journal-title":"Proc of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449155"},{"key":"ref21","first-page":"604","article-title":"The triguarded fragment of first-order logic","author":"rudolph","year":"2018","journal-title":"Proceedings of the 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) volume 57 of EPiC Series in Computing"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-5787-x"},{"journal-title":"Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe","year":"1959","author":"sur\u00e1nyi","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470511.pdf?arnumber=9470511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T07:32:21Z","timestamp":1672731141000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470511\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470511","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}