{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:40:50Z","timestamp":1725615650245},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244544"},{"type":"electronic","value":"9783642244551"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24455-1_18","type":"book-chapter","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T08:12:35Z","timestamp":1317283955000},"page":"191-203","source":"Crossref","is-referenced-by-count":2,"title":["Compiling AI Engineering Models for Probabilistic Inference"],"prefix":"10.1007","author":[{"given":"Paul","family":"Maier","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Jain","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","first-page":"370","volume-title":"Proc. AAAI","author":"J. Kurien","year":"2000","unstructured":"Kurien, J., Nayak, P.P.: Back to the Future for Consistency-Based Trajectory Tracking. In: Proc. AAAI, pp. 370\u2013377. AAAI Press, Menlo Park (2000)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Maier, P., Sachenbacher, M., R\u00fchr, T., Kuhn, L.: Automated Plan Assessment in Cognitive Manufacturing. Adv. Eng. Informat. (May 2010)","DOI":"10.1016\/j.aei.2010.05.015"},{"volume-title":"Readings in Model-Based Diagnosis","year":"1992","key":"18_CR3","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann Publishers Inc., San Francisco (1992)"},{"key":"18_CR4","unstructured":"Williams, B.C., Chung, S., Gupta, V.: Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. In: Proc. IJCAI, pp. 579\u2013590 (2001)"},{"key":"18_CR5","volume-title":"Proc. AAAI","author":"T. Mikaelian","year":"2005","unstructured":"Mikaelian, T., Williams, C.B., Sachenbacher, M.: Model-based Monitoring and Diagnosis of Systems with Software-Extended Behavior. In: Proc. AAAI. AAAI Press, Pittsburgh (2005)"},{"key":"18_CR6","unstructured":"Chavira, M., Darwiche, A.: Compiling Bayesian Networks with Local Structure. In: Proc. IJCAI, pp. 1306\u20131312 (2005)"},{"issue":"3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/765568.765570","volume":"50","author":"A. Darwiche","year":"2003","unstructured":"Darwiche, A.: A Differential Approach to Inference in Bayesian Networks. Journal of the ACM\u00a050(3), 280\u2013305 (2003)","journal-title":"Journal of the ACM"},{"key":"18_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-16111-7_30","volume-title":"KI 2010: Advances in Artificial Intelligence","author":"P. Maier","year":"2010","unstructured":"Maier, P., Jain, D., Waldherr, S., Sachenbacher, M.: Plan Assessment for Autonomous Manufacturing as Bayesian Inference. In: Dillmann, R., Beyerer, J., Hanebeck, U.D., Schultz, T. (eds.) KI 2010. LNCS (LNAI), vol.\u00a06359, pp. 263\u2013271. Springer, Heidelberg (2010)"},{"key":"18_CR9","first-page":"653","volume-title":"Proc. IJCAI","author":"R. Abreu","year":"2009","unstructured":"Abreu, R., Zoeteweij, P., Van Gemund, A.J.C.: A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. In: Proc. IJCAI, pp. 653\u2013658. Morgan Kaufmann Publishers Inc., San Francisco (2009)"},{"key":"18_CR10","unstructured":"Knox, B., Mengshoel, O.: Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study. In: Workshop Proc. SAS (2009)"},{"key":"18_CR11","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":"18_CR12","volume-title":"Proc. ECAI 2004","author":"M. Sachenbacher","year":"2004","unstructured":"Sachenbacher, M., Williams, B.: Diagnosis as Semiring-based Constraint Optimization. In: Proc. ECAI 2004. Valencia, Spain (2004)"},{"key":"18_CR13","unstructured":"Jain, D., Waldherr, S., Beetz, M.: Bayesian Logic Networks. Technical report, Technische Universit\u00e4t M\u00fcnchen (2009)"},{"issue":"1","key":"18_CR14","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(1), 3\u201351 (2008)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR15","unstructured":"Poole, D.: First-Order Probabilistic Inference. In: IJCAI, pp. 985\u2013991 (2003)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Maier, P., Sachenbacher, M.: Receding Time Horizon Self-Tracking and Assessment for Autonomous Manufacturing. In: Workshop Proc. Self-X (September 2010)","DOI":"10.1007\/978-3-642-16111-7_30"},{"key":"18_CR17","unstructured":"Gogate, V., Dechter, R.: SampleSearch: A Scheme that Searches for Consistent Samples. In: Proc. AISTATS (2007)"}],"container-title":["Lecture Notes in Computer Science","KI 2011: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24455-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T14:47:15Z","timestamp":1560696435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24455-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244544","9783642244551"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24455-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}