{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:28:28Z","timestamp":1725496108310},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650133"},{"type":"electronic","value":"9783540497301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49730-7_3","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:01:18Z","timestamp":1196330478000},"page":"31-45","source":"Crossref","is-referenced-by-count":0,"title":["Learning to Win Process-Control Games Watching Game-Masters"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Ott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Sharma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"3_CR1","unstructured":"M. Bain and C. Sammut. A framework for behavioural cloning. In K. F. S. Muggleton and D. Michie editors Machine Intelligence 15. Oxford University Press, 1996."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.2307\/1994916","volume":"138","author":"J. R. B\u00fcchi","year":"1969","unstructured":"J. R. B\u00fcchi and L. H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society 138:295\u2013311 1969.","journal-title":"Transactions of the American Mathematical Society"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"D. K. C. Sammut, S. Hurst and D. Michie. Learning to fly. In D. Sleeman and P. Edwards, editors, Proceedings of the Ninth International Conference on Machine Learning. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-55860-247-2.50055-3"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jcss.1997.1508","volume":"55","author":"J. Case","year":"1997","unstructured":"J. Case, S. Kaufmann, E. Kinber, and M. Kummer. Learning recursive functions from approximations. Journal of Computer and System Sciences, 55:183\u2013196, 1997.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-4896(92)90059-E","volume":"24","author":"D. Cenzer","year":"1992","unstructured":"D. Cenzer and J. Remmel. Recursively presented games and strategies. Mathematical Social Sciences, 24:117\u2013139, 1992.","journal-title":"Mathematical Social Sciences"},{"key":"3_CR6","first-page":"179","volume":"15","author":"R. V. Freivalds","year":"1979","unstructured":"R. V. Freivalds and R. Wiehagen. Inductive inference with additional information. Elektronische Informationsverarbeitung und Kybernetik, 15:179\u2013185, 1979.","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1006\/inco.1993.1005","volume":"102","author":"S. Jain","year":"1993","unstructured":"S. Jain and A. Sharma. Learning with the knowledge of an upper bound on program size. Information and Computation, 102(1):118\u2013166, Jan. 1993.","journal-title":"Information and Computation"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"M. Kummer and M. Ott. Learning branches and learning to win closed games. In Proceedings of Ninth Annual Conference on Computational Learning Theory, pages 280\u2013291, New York, 1996. ACM.","DOI":"10.1145\/238061.238119"},{"issue":"2","key":"3_CR9","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1006\/jcss.1996.0018","volume":"52","author":"M. Kummer","year":"1996","unstructured":"M. Kummer and F. Stephan. On the structure of degrees of inferability. Journal of Computer and System Sciences, 52(2):214\u2013238, Apr. 1996.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"Proceedings of the Annual Symposium on the Theoretical Aspects of Computer Science","author":"O. Maler","year":"1995","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proceedings of the Annual Symposium on the Theoretical Aspects of Computer Science, volume 900 of LNCS, pages 229\u2013242. Springer-Verlag, 1995."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton. Infinite games played on finite graphs. Annals of Pure and Applied Logic, 65:149\u2013184, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR12","unstructured":"D. Michie and C. Sammut. Machine learning from real-time input-output behaviour. In Proceedings of the International Conference on Design to Manufacture in Modern Industry, pages 363\u2013369, 1993."},{"key":"3_CR13","volume-title":"Classical Recursion Theory","author":"P. Odifreddi","year":"1989","unstructured":"P. Odifreddi. Classical Recursion Theory. North-Holland, Amsterdam, 1989."},{"key":"3_CR14","volume-title":"Systems that Learn","author":"D. Osherson","year":"1986","unstructured":"D. Osherson, M. Stob, and S. Weinstein. Systems that Learn. MIT Press, Cambridge, Massachusetts, 1986."},{"key":"3_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/3-540-63890-3_31","volume-title":"Proceedings of the Eighth Annual International Symposium on Algorithms and Computation","author":"M. Ott","year":"1997","unstructured":"M. Ott and F. Stephan. The complexity of learning branches and strategies from queries. In Proceedings of the Eighth Annual International Symposium on Algorithms and Computation, volume 1350 of LNCS, pages 283\u2013292. Springer, 1997."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"M. Ott and F. Stephan. Structural measures for games and process control in the branch learning model. In S. Ben-David, editor, Proceedings of the Third European Conference on Computational Learning Theory, volume 1208 of LNAI, pages 94\u2013108. Springer, 1997.","DOI":"10.1007\/3-540-62685-9_9"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1145\/62044.62053","volume":"36","author":"L. Pitt","year":"1989","unstructured":"L. Pitt. Probabilistic inductive inference. Journal of the ACM, 36:383\u2013433, 1989.","journal-title":"Journal of the ACM"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0890-5401(88)90046-6","volume":"77","author":"L. Pitt","year":"1988","unstructured":"L. Pitt and C. Smith. Probability and plurality for aggregations of learning machines. Information and Computation, 77:77\u201392, 1988.","journal-title":"Information and Computation"},{"key":"3_CR19","volume-title":"C4.5: Programs for Machine Learning","author":"J. Quinlan","year":"1992","unstructured":"J. Quinlan. C4.5: Programs for Machine Learning. Morgan Kaufmann Publishers, San Mateo, CA, 1992."},{"issue":"2","key":"3_CR20","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1006\/inco.1993.1021","volume":"103","author":"R. L. Rivest","year":"1993","unstructured":"R. L. Rivest and R. E. Schapire. Inference of finite automata using homing sequences. Information and Computation, 103(2):299\u2013347, Apr. 1993.","journal-title":"Information and Computation"},{"key":"3_CR21","unstructured":"C. Sammut. Acquiring expert knowledge by learning from recorded behaviours. In Japanese Knowledge Acquisition Workshop, 1992."},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1017\/S0269888900007669","volume":"11","author":"C. Sammut","year":"1996","unstructured":"C. Sammut. Automatic construction of reactive control systems using symbolic machine learning. Knowledge Engineering Review, 11(1):27\u201342, 1996.","journal-title":"Knowledge Engineering Review"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1145\/322344.322356","volume":"29","author":"C. Smith","year":"1982","unstructured":"C. Smith. The power of pluralism for automatic program synthesis. Journal of the ACM, 29:1144\u20131165, 1982.","journal-title":"Journal of the ACM"},{"key":"3_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"Proceedings of the Annual Symposium on the Theoretical Aspects of Computer Science","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In Proceedings of the Annual Symposium on the Theoretical Aspects of Computer Science, volume 900 of LNCS, pages 1\u201313. Springer-Verlag, 1995."},{"key":"3_CR25","unstructured":"T. Urban\u010di\u010d and I. Bratko. Reconstructing human skill with machine learning. In A. Cohn, editor, Proceedings of the Eleventh European Conference on Artificial Intelligence. John Wiley & Sons, 1994."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49730-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T23:50:52Z","timestamp":1551138652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49730-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650133","9783540497301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-49730-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}