{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:15:40Z","timestamp":1742912140143,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","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":[[2001]]},"DOI":"10.1007\/3-540-44716-4_3","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"40-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Parameterized Logic Programs where Computing Meets Learning"],"prefix":"10.1007","author":[{"given":"Taisuke","family":"Sato","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"3_CR1","unstructured":"Baker, J. K., Trainable grammars for speech recognition, Proc. of Spring Conference of the Acoustical Society of America, pp.547\u2013550, 1979."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Castillo, E., Gutierrez, J.M., and Hadi, A.S., Expert Systems and Probabilistic Network Models, Springer-Verlag, 1997.","DOI":"10.1007\/978-1-4612-2270-5"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Chow, Y.S. and Teicher, H., Probability Theory (3rd ed.), Springer, 1997.","DOI":"10.1007\/978-1-4612-1950-7"},{"key":"3_CR4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3133.001.0001","volume-title":"From Logic to Logic Programming","author":"K. Doets","year":"1994","unstructured":"Doets, K., From Logic to Logic Programming, MIT Press, Cambridge, 1994."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1613\/jair.301","volume":"4","author":"L.P. Kaelbling","year":"1996","unstructured":"Kaelbling, L.P. and Littman, M.L., Reinforcement Learning: A Survey, J. of Artificial Intelligence Research, Vol.4, pp.237\u2013285, 1996.","journal-title":"J. of Artificial Intelligence Research"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Kameya, Y., Ueda, N. and Sato, T., A graphical method for parameter learning of symbolic-statistical models, Proc. of DS\u201999, LNAI 1721, pp.264\u2013276, 1999.","DOI":"10.1007\/3-540-46846-3_24"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Kameya, Y. and Sato, T., Effcient EM learning for parameterized logic programs, Proc. of CL2000, LNAI 1861, pp.269\u2013294, 2000.","DOI":"10.1007\/3-540-44957-4_18"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"3_CR9","unstructured":"Manning, C. D. and Sch\u00fctze, H., Foundations of Statistical Natural Language Processing, The MIT Press, 1999."},{"key":"3_CR10","unstructured":"McLachlan, G. J. and Krishnan, T., The EM Algorithm and Extensions, Wiley Interscience, 1997."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1287\/mnsc.28.1.1","volume":"28","author":"G.E. Monahan","year":"1982","unstructured":"Monahan, G.E., A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms, Management Science Vol.28 No.1, pp.1\u201316, 1982.","journal-title":"Management Science"},{"key":"3_CR12","unstructured":"Narendra, K.S. and Thathacher, M.A.L., Learning Automata: An Introduction, Prentice-Hall Inc., 1989."},{"key":"3_CR13","unstructured":"Pearl, J., Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann, 1988."},{"key":"3_CR14","unstructured":"Poznyak, A.S. and Najim, K., Learning Automata and Stochastic Optimization, Lecture Notes in Control and Information Sciences 225, Springer, 1997."},{"key":"3_CR15","unstructured":"Rabiner, L. R. and Juang, B., Foundations of Speech Recognition, Prentice-Hall, 1993."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Sato, T., A statistical learning method for logic programs with distribution semantics, Proc. of ICLP\u201995, pp.715\u2013729, 1995.","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"3_CR17","unstructured":"Sato, T. and Kameya, Y., PRISM:A Language for Symbolic-Statistical Modeling, Proc. of IJCAI\u201997, pp.1330\u20131335, 1997."},{"key":"3_CR18","unstructured":"Sato, T., Modeling Scientific Theories as PRISM Programs, ECAI Workshop on Machine Discovery, pp.37\u201345, 1998."},{"key":"3_CR19","series-title":"Techinical report TR99-0003","volume-title":"On Some Asymptotic Properties of Learning Automaton Networks","author":"T. Sato","year":"1999","unstructured":"Sato, T., On Some Asymptotic Properties of Learning Automaton Networks, Techinical report TR99-0003, Dept. of Computer Science, Tokyo Institute of Technology, 1999."},{"key":"3_CR20","unstructured":"Sato, T. and Kameya, Y., A Viterbi-like algorithm and EM learning for statistical abduction\u2018, Proc. of UAI2000 Workshop on Fusion of Domain Knowledge with Data for Decision Support, 2000."},{"key":"3_CR21","unstructured":"Sato, T.,Statistical abduction with tabulation, submitted for publication, 2000."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Sato, T. and Kameya, Y., Parameter Learning of Logic Programs for Symbolic-statistical Modeling, submitted for publication, 2000.","DOI":"10.1613\/jair.912"},{"key":"3_CR23","unstructured":"Sterling, L. and Shaprio, E. The Art of Prolog, The MIT Press, 1986."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Sutton, R.S.,Learning to predict by the method of temporal difference, Machine Learning, Vol.3 No.1, pp.9\u201344, 1988.","DOI":"10.1007\/BF00115009"},{"key":"3_CR25","unstructured":"Tamaki, H. and Sato, T., Unfold\/Fold Transformation of Logic Programs, Proc. Of ICLP\u201984, Uppsala, pp.127\u2013138, 1984."},{"key":"3_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Proc. of ICLP\u201986","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H. and Sato, T., OLD resolution with tabulation, Proc. of ICLP\u201986, London, LNCS 225, pp.84\u201398, 1986."},{"key":"3_CR27","unstructured":"Tanaka, H. and Takezawa, T. and Etoh, J., Japanese grammar for speech recognition considering the MSLR method (in Japanese), Proc. of the meeting of SIG-SLP (Spoken Language Processing), 97-SLP-15-25, Information Processing Society of Japan, pp.145\u2013150, 1997."},{"key":"3_CR28","unstructured":"Uratani, N. and Takezawa, T. and Matsuo, H. and Morita, C., ATR Integrated Speech and Language Database (in Japanese), TR-IT-0056, ATR Interpreting Telecommunications Research Laboratories, 1994."},{"issue":"3","key":"3_CR29","first-page":"279","volume":"8","author":"J.C.H. Watkins","year":"1992","unstructured":"Watkins, J.C.H. and Dayan, P., Q-learning, Machine Intelligence, Vol.8, No.3, pp.279\u2013292, 1992.","journal-title":"Q-learning, Machine Intelligence"},{"issue":"4","key":"3_CR30","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/356827.356829","volume":"12","author":"C.S. Wetherell","year":"1980","unstructured":"Wetherell, C.S.,Probabilistic languages: a review and some open questions, Computing Surveys, Vol.12, No.4, pp.361\u2013379, 1980.","journal-title":"Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:50:31Z","timestamp":1708170631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}