{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:38:36Z","timestamp":1725565116846},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161100"},{"type":"electronic","value":"9783642161117"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16111-7_30","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T12:57:36Z","timestamp":1283950656000},"page":"263-271","source":"Crossref","is-referenced-by-count":2,"title":["Plan Assessment for Autonomous Manufacturing as Bayesian Inference"],"prefix":"10.1007","author":[{"given":"Paul","family":"Maier","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Jain","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Waldherr","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-642-04617-9_51","volume-title":"KI 2009: Advances in Artificial Intelligence","author":"P. Maier","year":"2009","unstructured":"Maier, P., Sachenbacher, M., R\u00fchr, T., Kuhn, L.: Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS, vol.\u00a05803, pp. 403\u2013410. Springer, Heidelberg (2009)"},{"key":"30_CR2","unstructured":"Jain, D., Waldherr, S., Beetz, M.: Bayesian Logic Networks. Technical report, Technische Universit\u00e4t M\u00fcnchen (2009)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/biomet\/26.4.404","volume":"26","author":"C. Clopper","year":"1934","unstructured":"Clopper, C., Pearson, E.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika\u00a026, 404 (1934)","journal-title":"Biometrika"},{"key":"30_CR4","series-title":"CRM Monograph Series","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023","volume-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","author":"J. Rutten","year":"2004","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol.\u00a023. American Mathematical Society, Providence (2004)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Online Verification of Cognitive Car Decisions. In: Proc. IV 2007, pp. 728\u2013733 (2007)","DOI":"10.1109\/IVS.2007.4290203"},{"key":"30_CR6","unstructured":"Mahtab, T., Sullivan, G., Williams, B.C.: Automated Verification of Model-Based Programs Under Uncertainty. In: Proc. ISDA 2004 (2004)"},{"key":"30_CR7","first-page":"92","volume-title":"Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium","author":"D.S. Nau","year":"1995","unstructured":"Nau, D.S., Gupta, S.K., Regli, W.C.: Manufacturing-Operation Planning versus AI Planning. In: Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium, pp. 92\u2013101. AAAI Press, Menlo Park (1995)"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S0965-9978(98)00126-4","volume":"30","author":"D. Kiritsis","year":"1999","unstructured":"Kiritsis, D., Neuendorf, K.P., Xirouchakis, P.: Petri Net Techniques for Process Planning Cost Estimation. Advances in Engineering Software\u00a030, 375\u2013387 (1999)","journal-title":"Advances in Engineering Software"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-009-9132-y","volume":"54","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Dechter, R.: Mixed Deterministic and Probabilistic Networks. Annals of Mathematics and Artificial Intelligence\u00a054, 3\u201351 (2008)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"30_CR10","unstructured":"Gogate, V., Dechter, R.: SampleSearch: A Scheme that Searches for Consistent Samples. In: Proc. AISTATS 2007 (2007)"},{"key":"30_CR11","first-page":"67","volume-title":"Pattern Recognition and Machine Learning","author":"C. Bishop","year":"2006","unstructured":"Bishop, C., et al.: 2. Probability Distributions. In: Pattern Recognition and Machine Learning, pp. 67\u201374. Springer, Heidelberg (2006)"},{"key":"30_CR12","first-page":"209","volume-title":"Proc. UAI 1989","author":"R.M. Fung","year":"1989","unstructured":"Fung, R.M., Chang, K.C.: Weighting and integrating evidence for stochastic simulation in bayesian networks. In: Proc. UAI 1989, pp. 209\u2013220. North-Holland Publishing, Amsterdam (1989)"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/B978-1-55860-332-5.50034-1","volume-title":"Proc. UAI 1994","author":"R. Fung","year":"1994","unstructured":"Fung, R., Del Favero, B.: Backward Simulation in Bayesian Networks. In: Proc. UAI 1994, p. 227. Morgan Kaufmann, San Francisco (1994)"},{"key":"30_CR14","first-page":"1306","volume-title":"Proc. AAAI 2008","author":"L. Kuhn","year":"2008","unstructured":"Kuhn, L., Price, B., de Kleer, J., Do, M.B., Zhou, R.: Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. In: Fox, D., Gomes, C.P. (eds.) Proc. AAAI 2008, pp. 1306\u20131312. AAAI Press, Menlo Park (2008)"},{"key":"30_CR15","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted First-Order Probabilistic Inference. In: IJCAI, pp. 1319\u20131325 (2005)"},{"key":"30_CR16","unstructured":"Singla, P., Domingos, P.: Lifted First-Order Belief Propagation. In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008)"}],"container-title":["Lecture Notes in Computer Science","KI 2010: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16111-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T05:41:37Z","timestamp":1553060497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16111-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161100","9783642161117"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16111-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}