{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:15:41Z","timestamp":1725484541954},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434818"},{"type":"electronic","value":"9783540460190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46019-5_10","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T02:26:20Z","timestamp":1180146380000},"page":"128-140","source":"Crossref","is-referenced-by-count":0,"title":["Proof Length as an Uncertainty Factor in ILP"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Richard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatima Zohra","family":"Kettaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","volume":"87","author":"F. Bacchus","year":"1997","unstructured":"F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. From statistical knowledge bases to degree of belief. In Artificial Intelligence, (87), pp 75\u2013143, 1997","journal-title":"Artificial Intelligence"},{"key":"10_CR2","unstructured":"C.I. Blake, C.J. Merz. UCI repository of machine learning databases, 1998. http:\/\/www.ics.uci.edu\/ mlearn\/MLRepository.html ."},{"key":"10_CR3","unstructured":"Y. Freund, R.E. Shapire. Experiments with a new boosting algorithm. In Machine Learning: proceeding of the 13th Int. Conf., pp148\u2013156, 1996"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1006\/jcss.1997.1504","volume":"55","author":"Y. Freund","year":"1997","unstructured":"Y. Freund, R.E. Shapire. A decision-theoretic generalization of on-line learning and an application to boosting. In Journal of Computer and System Sciences, vol.55(1) pp119\u2013139, 1997","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J.Y. Halpern","year":"1990","unstructured":"J.Y. Halpern. An analysis of first-order logics of probability. In Artificial Intelligence, (46), pp 311\u2013350, 1990","journal-title":"Artificial Intelligence"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"S. Hoche, S. Wrobel. Using constrained confidence-rated boosting. In 11th Int. Conf., ILP, Strasbourg, France, pp51\u201364, 2001","DOI":"10.1007\/3-540-44797-0_5"},{"key":"10_CR7","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Symboloc Computation series. Springer Verlag, 1997 (revised version)."},{"key":"10_CR8","first-page":"245","volume":"12","author":"S. Muggleton","year":"1994","unstructured":"S. Muggleton. Inverse entailment and Progol. New Gen. Comput., 12 pp 245\u2013286, 1994.","journal-title":"New Gen. Comput"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J.R. Quinlan. Boosting First-Order Learning. In Proc. 7th Int. Workshop on Algorithmic Learning Theory ALT\u201996. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61863-5_42"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"R.E. Shapire, Y. Singer. Improving boosting algorithms using confidence-rated predictions. In Proc. 11th Ann. Conf. Computation Learning Theory, 1998.","DOI":"10.1145\/279943.279960"}],"container-title":["Lecture Notes in Computer Science","Soft-Ware 2002: Computing in an Imperfect World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46019-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T06:47:39Z","timestamp":1556434059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46019-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434818","9783540460190"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-46019-5_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}