{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:31Z","timestamp":1725483931688},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677956"},{"type":"electronic","value":"9783540449607"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44960-4_10","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T16:59:31Z","timestamp":1178211571000},"page":"165-173","source":"Crossref","is-referenced-by-count":19,"title":["Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment"],"prefix":"10.1007","author":[{"given":"Hayato","family":"Ohwada","sequence":"first","affiliation":[]},{"given":"Hiroyuki","family":"Nishiyama","sequence":"additional","affiliation":[]},{"given":"Fumio","family":"Mizoguchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1009867806624","volume":"3","author":"H. Blockeel","year":"1999","unstructured":"Blockeel, H., De Raedt, L., Jacobs, N. and Demoen, B., Scaling Up Inductive Logic Programming by Learning from Interpretations, Data Mining and Knowledge Discovery, Vol. 3, No. 1, pp. 59\u201394, 1999.","journal-title":"Data Mining and Knowledge Discovery"},{"key":"10_CR2","unstructured":"Chikayama, T., KLIC User\u2019s Manual, Institute for New Generation Computer Technology, 1997."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Fujita, H., Yagi, N., Ozaki, T., and Furukawa, K., A new design and implementation of Progol by bottom-up computation, Proc. of the 6th International Workshop on ILP, pp. 163\u2013174, 1996.","DOI":"10.1007\/3-540-63494-0_54"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H., Bain, M. E., Michie, D., An experimental comparison of human and machine learning formalism. Proc. of the Sixth International Workshop on Machine Learning, 1989.","DOI":"10.1016\/B978-1-55860-036-2.50037-0"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Matsui, T., Inuzuka, N., Seki, H. and Itoh, H., Parallel Induction Algorithms for Large Samples, Proc. of the First International Conference on Discovery Science, pp. 397\u2013398, 1998.","DOI":"10.1007\/3-540-49292-5_39"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S., Inverse Entailment and Progol, New Generation Computing, Vol. 13, Nos. 3,4, pp. 245\u2013286, 1995.","journal-title":"New Generation Computing"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Ohwada, H. and Mizoguchi, F., Parallel Execution for Speeding Up Inductive Logic Programming Systems, Proc. of the Second International Conference on Discovery Science, pp. 277\u2013286, 1999.","DOI":"10.1007\/3-540-46846-3_25"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Smith, R., The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver, IEEE Transactions on Computers, Vol. C-29, No. 12, 1980.","DOI":"10.1109\/TC.1980.1675516"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1009824123462","volume":"3","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A., A study of Two Sampling Methods for Analyzing Large Datasets with ILP, Data Mining and Knowledge Discovery, Vol. 3, No. 1, pp. 95\u2013123, 1999.","journal-title":"Data Mining and Knowledge Discovery"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44960-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T17:27:05Z","timestamp":1556386025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44960-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677956","9783540449607"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44960-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}