{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:19Z","timestamp":1750220659528,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394797","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"301-311","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Fixed Point Theorem on Lexicographic Lattice Structures"],"prefix":"10.1145","author":[{"given":"Angelos","family":"Charalambidis","sequence":"first","affiliation":[{"name":"NCSR \"Demokritos\", Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giannos","family":"Chatziagapis","sequence":"additional","affiliation":[{"name":"National and Kapodistrian University of Athens, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[{"name":"National and Kapodistrian University of Athens, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"volume-title":"Handbook of Logic in Computer Science III. Clarendon Press","year":"1994","author":"Abramsky Samson","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Bloom S. L. and \u00c9sik Z. Iteration Theories - The Equational Logic of Iterative Processes. Springer EATCS Monographs on Theoretical Computer Science 1993.  Bloom S. L. and \u00c9sik Z. Iteration Theories - The Equational Logic of Iterative Processes. Springer EATCS Monographs on Theoretical Computer Science 1993.","DOI":"10.1007\/978-3-642-78034-9_6"},{"key":"e_1_3_2_1_3_1","first-page":"533","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016","author":"Carayol Arnaud","year":"2016"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000313"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1978-0491372-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press 2 edition 2002.  B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press 2 edition 2002.","DOI":"10.1017\/CBO9780511809088"},{"volume-title":"The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers","year":"2000","author":"Denecker Marc","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.02.004"},{"key":"e_1_3_2_1_9_1","unstructured":"Zolt\u00e1n\n       \n      \u00c9sik\n    .\n      \n  \n   \n  Equational properties of stratified least fixed points (extended abstract). In Valeria de Paiva Ruy J. G. B. de Queiroz Lawrence S. Moss Daniel Leivant and Anjolina Grisi de Oliveira editors Logic Language Information and Computation - 22nd International Workshop WoLLIC\n   \n  2015 Bloomington IN USA July 20-23 2015 Proceedings volume \n  9160\n   of \n  Lecture Notes in Computer Science pages \n  174\n  --\n  188\n  . \n  Springer 2015.  Zolt\u00e1n \u00c9sik. Equational properties of stratified least fixed points (extended abstract). In Valeria de Paiva Ruy J. G. B. de Queiroz Lawrence S. Moss Daniel Leivant and Anjolina Grisi de Oliveira editors Logic Language Information and Computation - 22nd International Workshop WoLLIC 2015 Bloomington IN USA July 20-23 2015 Proceedings volume 9160 of Lecture Notes in Computer Science pages 174--188. Springer 2015."},{"key":"e_1_3_2_1_10_1","unstructured":"Zolt\u00e1n\n       \n      \u00c9sik\n     and \n      \n      \n      Panos\n       \n      Rondogiannis\n    .\n      \n  \n   \n  Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. In Ulrich Kohlenbach Pablo Barcel\u00f3 and Ruy J. G. B. de Queiroz editors Logic Language Information and Computation - 21st International Workshop WoLLIC\n   \n  2014 Valpara\u00edso Chile September 1-4 2014. Proceedings volume \n  8652\n   of \n  Lecture Notes in Computer Science pages \n  166\n  --\n  180\n  . \n  Springer 2014.  Zolt\u00e1n \u00c9sik and Panos Rondogiannis. Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. In Ulrich Kohlenbach Pablo Barcel\u00f3 and Ruy J. G. B. de Queiroz editors Logic Language Information and Computation - 21st International Workshop WoLLIC 2014 Valpara\u00edso Chile September 1-4 2014. Proceedings volume 8652 of Lecture Notes in Computer Science pages 166--180. Springer 2014."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.01.032"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"issue":"3","key":"e_1_3_2_1_13_1","first-page":"620","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"Gelder Allen Van","year":"1991","journal-title":"J. ACM"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.05.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/39279"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.03.006"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73723"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055686.1055694"},{"volume-title":"MIT Press","year":"1977","author":"Stoy Joseph E.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"volume-title":"USA","year":"1981","author":"Tennent R. D.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Saarbr\u00fccken Germany","acronym":"LICS '20"},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:36Z","timestamp":1750197756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":22,"alternative-id":["10.1145\/3373718.3394797","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394797","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}