{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T04:21:09Z","timestamp":1783138869866,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540229414","type":"print"},{"value":"9783540301097","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30109-7_12","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T18:21:49Z","timestamp":1284661309000},"page":"116-131","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Induction of First-Order Logic Descriptors Type Domains from Observations"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Teresa M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Di Mauro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"117","volume-title":"Proceedings of the 8th International Workshop on Machine Learning","author":"D.W. Aha","year":"1991","unstructured":"Aha, D.W.: Incremental constructive induction: An instance-based approach. In: Proceedings of the 8th International Workshop on Machine Learning, pp. 117\u2013121. Morgan Kaufmann, San Francisco (1991)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-61286-6_162","volume-title":"Foundations of Intelligent Systems","author":"H. Blockeel","year":"1996","unstructured":"Blockeel, H., De Raedt, L.: Inductive database design. In: Michalewicz, M., Ra\u015b, Z.W. (eds.) ISMIS 1996. LNCS, vol.\u00a01079, pp. 376\u2013385. Springer, Heidelberg (1996)"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/181668.181676","volume":"5","author":"R.M. Cameron-Jones","year":"1994","unstructured":"Cameron-Jones, R.M., Quinlan, J.R.: Efficient top-down induction of logic programs. SIGART bulletin\u00a05(1), 33\u201342 (1994)","journal-title":"SIGART bulletin"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. Raedt De","year":"1997","unstructured":"De Raedt, L., Dehaspe, L.: Clausal discovery. Machine Learning\u00a026(2), 99\u2013146 (1997)","journal-title":"Machine Learning"},{"key":"12_CR5","unstructured":"de Velde, W.V.: IDL, or Taming the Multiplexer Problem.In: Proceedings of the 4th European Working Session on Learning. Pittman (1989)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-39853-0_15","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"S. Ferilli","year":"2003","unstructured":"Ferilli, S., Di Mauro, N., Basile, T.M.A., Esposito, F.: Incremental Induction of Rules for Document Image Understanding. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol.\u00a02829, pp. 176\u2013188. Springer, Heidelberg (2003)"},{"key":"12_CR7","unstructured":"Flach, P.A., Lachiche, N.: Cooking up integrity constraints with primus. Preliminary Report CSTR-97-009, University of Bristol - Department of Computer Science (December 1997)"},{"issue":"1\/2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1007656703224","volume":"42","author":"P.A. Flach","year":"2001","unstructured":"Flach, P.A., Lachiche, N.: Confirmation-guided discovery of first-order rules with Tertius. Machine Learning\u00a042(1\/2), 61\u201395 (2001)","journal-title":"Machine Learning"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kakas, A., Riguzzi, F.: Abductive concept learning. New Generation Computing (1999)","DOI":"10.1007\/BF03037531"},{"key":"12_CR10","first-page":"78","volume-title":"Proceedings of the 8th Australian Joint Conference on Artificial Intelligence","author":"E. McCreath","year":"1995","unstructured":"McCreath, E., Sharma, A.: Extraction of meta-knowledge to restrict the hypothesis space for ilp systems. In: Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, pp. 78\u201382. World Scientific, Singapore (1995)"},{"key":"12_CR11","first-page":"3","volume-title":"Machine Learning. A Multistrategy Approach","author":"R.S. Michalski","year":"1994","unstructured":"Michalski, R.S.: Inferential theory of learning. developing foundations for multistrategy learning. In: Michalski, R.S., Tecuci, G. (eds.) Machine Learning. A Multistrategy Approach, vol.\u00a0IV, pp. 3\u201361. Morgan Kaufmann, San Mateo (1994)"},{"key":"12_CR12","first-page":"217","volume":"11","author":"K. Morik","year":"1993","unstructured":"Morik, K.: Balanced cooperative modeling. Machine Learning\u00a011, 217\u2013235 (1993)","journal-title":"Machine Learning"},{"issue":"3\/4","key":"12_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3\/4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"12_CR14","unstructured":"Shapiro, E.: Inductive inference of theories from facts. Technical Report 192, Computer Science Department, Yale University (1981)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30109-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T21:09:17Z","timestamp":1559682557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30109-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229414","9783540301097"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30109-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}