{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:26:55Z","timestamp":1765888015208,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Research Council","award":["647289"],"award-info":[{"award-number":["647289"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209168","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T12:14:43Z","timestamp":1530101683000},"page":"619-628","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Weighted model counting beyond two-variable logic"],"prefix":"10.1145","author":[{"given":"Antti","family":"Kuusisto","sequence":"first","affiliation":[{"name":"University of Bremen, Germany"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"volume-title":"An Introduction to Description Logic","author":"Baader Franz","key":"e_1_3_2_1_1_1","unstructured":"Franz Baader , Ian Horrocks , Carsten Lutz , and Ulrike Sattler . 2017. An Introduction to Description Logic . Cambridge University Press . Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2701414"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745760"},{"key":"e_1_3_2_1_4_1","unstructured":"Guy Van den Broeck Wannes Meert and Adnan Darwiche. 2014. Skolemization for Weighted First-Order Model Counting. In Principles of Knowledge Representation and Reasoning (KR).   Guy Van den Broeck Wannes Meert and Adnan Darwiche. 2014. Skolemization for Weighted First-Order Model Counting. In Principles of Knowledge Representation and Reasoning (KR)."},{"key":"e_1_3_2_1_5_1","first-page":"3","article-title":"Query Processing on Probabilistic Data: A Survey","volume":"7","author":"den Broeck Guy Van","year":"2017","unstructured":"Guy Van den Broeck and Dan Suciu . 2017 . Query Processing on Probabilistic Data: A Survey . Foundations and Trends in Databases 7 , 3 - 4 (2017), 197--341. Guy Van den Broeck and Dan Suciu. 2017. Query Processing on Probabilistic Data: A Survey. Foundations and Trends in Databases 7, 3-4 (2017), 197--341.","journal-title":"Foundations and Trends in Databases"},{"key":"e_1_3_2_1_6_1","volume-title":"Domingos and Daniel Lowd","author":"Pedro","year":"2009","unstructured":"Pedro M. Domingos and Daniel Lowd . 2009 . Markov Logic : An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers . Pedro M. Domingos and Daniel Lowd. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers."},{"volume-title":"Finite model theory","author":"Ebbinghaus Heinz-Dieter","key":"e_1_3_2_1_7_1","unstructured":"Heinz-Dieter Ebbinghaus and J\u00f6rg Flum . 1995. Finite model theory . Springer . Heinz-Dieter Ebbinghaus and J\u00f6rg Flum. 1995. Finite model theory. Springer."},{"key":"e_1_3_2_1_8_1","unstructured":"Lauri Hella and Antti Kuusisto. 2014. One-Dimensional Fragment of First-order Logic. In Advances in Modal Logic 10. 274--293.  Lauri Hella and Antti Kuusisto. 2014. One-Dimensional Fragment of First-order Logic. In Advances in Modal Logic 10. 274--293."},{"key":"e_1_3_2_1_9_1","volume-title":"New Liftable Classes for First-Order Probabilistic Inference. In Annual Conference on Neural Information Processing Systems (NIPS). 3117--3125","author":"Kazemi Seyed Mehran","year":"2016","unstructured":"Seyed Mehran Kazemi , Angelika Kimmig , Guy Van den Broeck , and David Poole . 2016 . New Liftable Classes for First-Order Probabilistic Inference. In Annual Conference on Neural Information Processing Systems (NIPS). 3117--3125 . Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, and David Poole. 2016. New Liftable Classes for First-Order Probabilistic Inference. In Annual Conference on Neural Information Processing Systems (NIPS). 3117--3125."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Emanuel Kieronski and Antti Kuusisto. 2014. Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. In Mathematical Foundations of Computer Science (MFCS) Part I. 365--376.  Emanuel Kieronski and Antti Kuusisto. 2014. Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. In Mathematical Foundations of Computer Science (MFCS) Part I. 365--376.","DOI":"10.1007\/978-3-662-44522-8_31"},{"key":"e_1_3_2_1_11_1","volume-title":"Uniform One-Dimensional Fragments with One Equivalence Relation. In Annual Conference on Computer Science Logic (CSL). 597--615","author":"Kieronski Emanuel","year":"2015","unstructured":"Emanuel Kieronski and Antti Kuusisto . 2015 . Uniform One-Dimensional Fragments with One Equivalence Relation. In Annual Conference on Computer Science Logic (CSL). 597--615 . Emanuel Kieronski and Antti Kuusisto. 2015. Uniform One-Dimensional Fragments with One Equivalence Relation. In Annual Conference on Computer Science Logic (CSL). 597--615."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2016.11.031"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/130943625"},{"key":"e_1_3_2_1_14_1","volume-title":"On the Uniform One-Dimensional Fragment. In International Workshop on Description Logics (DL).","author":"Kuusisto Antti","year":"2016","unstructured":"Antti Kuusisto . 2016 . On the Uniform One-Dimensional Fragment. In International Workshop on Description Logics (DL). Antti Kuusisto. 2016. On the Uniform One-Dimensional Fragment. In International Workshop on Description Logics (DL)."},{"key":"e_1_3_2_1_15_1","volume-title":"Weighted Model Counting Beyond Two-Variable Logic. CoRR abs\/1804.10185","author":"Kuusisto Antti","year":"2018","unstructured":"Antti Kuusisto and Carsten Lutz . 2018. Weighted Model Counting Beyond Two-Variable Logic. CoRR abs\/1804.10185 ( 2018 ). http:\/\/arxiv.org\/abs\/1804.10185 Antti Kuusisto and Carsten Lutz. 2018. Weighted Model Counting Beyond Two-Variable Logic. CoRR abs\/1804.10185 (2018). http:\/\/arxiv.org\/abs\/1804.10185"}],"event":{"name":"LICS '18: 33rd 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":"Oxford United Kingdom","acronym":"LICS '18"},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209168","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:08Z","timestamp":1750212428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":15,"alternative-id":["10.1145\/3209108.3209168","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209168","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}