{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:26:20Z","timestamp":1725989180317},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030001100"},{"type":"electronic","value":"9783030001117"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00111-7_7","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T04:32:07Z","timestamp":1535603527000},"page":"73-85","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Approximate Probabilistic Parallel Multiset Rewriting Using MCMC"],"prefix":"10.1007","author":[{"given":"Stefan","family":"L\u00fcdtke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Schr\u00f6der","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kirste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2011-575","volume":"112","author":"R Barbuti","year":"2011","unstructured":"Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Maximally parallel probabilistic semantics for multiset rewriting. Fundam. Inform. 112(1), 1\u201317 (2011)","journal-title":"Fundam. Inform."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theor. Comput. Sci. 96(1), 217\u2013248 (1992). http:\/\/portal.acm.org\/citation.cfm?doid=96709.96717","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Fremont, D.J., Meel, K.S., Seshia, S.A., Vardi, M.Y.: Distribution-aware sampling and weighted model counting for sat. In: AAAI, vol. 14, pp. 1722\u20131730 (2014)","DOI":"10.1609\/aaai.v28i1.8990"},{"issue":"6\u20137","key":"7_CR4","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1016\/j.artint.2007.11.002","volume":"172","author":"M Chavira","year":"2008","unstructured":"Chavira, M., Darwiche, A.: On probabilistic inference by weighted model counting. Artif. Intell. 172(6\u20137), 772\u2013799 (2008)","journal-title":"Artif. Intell."},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1080\/10020070708541020","volume":"17","author":"G Ciobanu","year":"2007","unstructured":"Ciobanu, G., Cornacel, L.: Probabilistic transitions for P systems. Prog. Nat. Sci. 17(4), 432\u2013441 (2007)","journal-title":"Prog. Nat. Sci."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Cooper, M., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisited. Artif. Intell. 174, 449\u2013478 (2010). http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370210000147","DOI":"10.1016\/j.artint.2010.02.001"},{"key":"7_CR7","unstructured":"Ermon, S., Gomes, C., Sabharwal, A., Selman, B.: Taming the curse of dimensionality: discrete integration by hashing and optimization. In: International Conference on Machine Learning, pp. 334\u2013342 (2013)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/S1571-0661(04)00293-2","volume":"59","author":"JL Giavitto","year":"2001","unstructured":"Giavitto, J.L., Michel, O.: MGS: a rule-based programming language for complex objects and collections. Electron. Notes Theor. Comput. Sci. 59(4), 286\u2013304 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1016\/j.artint.2010.10.009","volume":"175","author":"V Gogate","year":"2011","unstructured":"Gogate, V., Dechter, R.: Samplesearch: importance sampling in presence of determinism. Artif. Intell. 175(2), 694\u2013729 (2011)","journal-title":"Artif. Intell."},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511613586","volume-title":"Finite Markov Chains and Algorithmic Applications","author":"O H\u00e4ggstr\u00f6m","year":"2002","unstructured":"H\u00e4ggstr\u00f6m, O.: Finite Markov Chains and Algorithmic Applications, vol. 52. Cambridge University Press, Cambridge (2002)"},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-9176-1","volume-title":"Analytical Theory of Biological Populations","author":"AJ Lotka","year":"1998","unstructured":"Lotka, A.J.: Analytical Theory of Biological Populations. Springer, New York (1998). https:\/\/doi.org\/10.1007\/978-1-4757-9176-1"},{"key":"7_CR12","unstructured":"L\u00fcdtke, S., Schr\u00f6der, M., Bader, S., Kersting, K., Kirste, T.: Lifted Filtering via Exchangeable Decomposition. arXiv e-prints (2018). https:\/\/arxiv.org\/abs\/1801.10495"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1017\/S0960129512000199","volume":"23","author":"N Oury","year":"2013","unstructured":"Oury, N., Plotkin, G.: Multi-level modelling via stochastic multi-level multiset rewriting. Math. Struct. Comput. Sci. 23, 471\u2013503 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Parker, M., Kamenev, A.: Extinction in the Lotka-Volterra model. Phys. Rev. E 80(2) (2009). https:\/\/link.aps.org\/doi\/10.1103\/PhysRevE.80.021129","DOI":"10.1103\/PhysRevE.80.021129"},{"key":"7_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G Paun","year":"2012","unstructured":"Paun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-56196-2"},{"issue":"01","key":"7_CR16","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1142\/S0129054106003760","volume":"17","author":"D Pescini","year":"2006","unstructured":"Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(01), 183\u2013204 (2006)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"7_CR17","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems. In: Proceedings of the International Joint Conference on Artificial Intelligence (1995)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-319-67190-1_17","volume-title":"KI 2017: Advances in Artificial Intelligence","author":"M Schr\u00f6der","year":"2017","unstructured":"Schr\u00f6der, M., L\u00fcdtke, S., Bader, S., Kr\u00fcger, F., Kirste, T.: LiMa: sequential lifted marginal filtering on multiset state descriptions. In: Kern-Isberner, G., F\u00fcrnkranz, J., Thimm, M. (eds.) KI 2017. LNCS (LNAI), vol. 10505, pp. 222\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67190-1_17"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/11499107_24","volume-title":"Theory and Applications of Satisfiability Testing","author":"W Wei","year":"2005","unstructured":"Wei, W., Selman, B.: A new approach to model counting. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 324\u2013339. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11499107_24"}],"container-title":["Lecture Notes in Computer Science","KI 2018: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00111-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T21:32:07Z","timestamp":1661895127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00111-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030001100","9783030001117"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00111-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}