{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:43Z","timestamp":1725483163964},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425380"},{"type":"electronic","value":"9783540447979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44797-0_2","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T20:35:51Z","timestamp":1178224551000},"page":"15-26","source":"Crossref","is-referenced-by-count":7,"title":["Learning Logic Programs with Neural Networks"],"prefix":"10.1007","author":[{"given":"Rodrigo","family":"Basilio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valmir C.","family":"Barbosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"2_CR1","first-page":"1507","volume":"3","author":"R. Basilio","year":"1998","unstructured":"Basilio R., Zaverucha, G., and Garcez, A.: Inducing Relational Concepts with Neural Networks Via the LINUS System, In Proc. Fifth International Conference on Neural Information Processing (ICONIP\u201998), Vol. 3, Japan, 1998, pp. 1507\u20131510.","journal-title":"Proc. Fifth International Conference on Neural Information Processing (ICONIP\u201998)"},{"key":"2_CR2","unstructured":"Botta M., Giordana A., and Piola, R.: FONN: Combining First Order Logic with Connectionist Learning. Proc. of the 14th International Conference on Machine Learning ICML-97, Morgan Kaufmann, 1997, pp. 46\u201356."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bratko, I.: Refining Complete Hypotheses in ILP. ILP-99, LNAI 1634, Springer-Verlag, 1999, pp. 44\u201355","DOI":"10.1007\/3-540-48751-4_6"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1109\/72.159059","volume":"3","author":"G. A. Carpenter","year":"1992","unstructured":"Carpenter, G. A., Grossberg, S., Reynolds, J.H., Markuzon, N., Rosen, D.B.: Fuzzy ARTMAP: A neural network architecture for incremental supervised learning of analog multidimensional maps. IEEE Trans. Neural Networks 3, 1992, pp. 698\u2013713.","journal-title":"IEEE Trans. Neural Networks"},{"key":"2_CR5","first-page":"1226","volume":"2","author":"P. Domingos","year":"1995","unstructured":"Domingos, P.: Rule Induction and Instance-Based Learning: a Unified Approach, IJCAI, vol. 2, 1995, pp. 1226\u20131232.","journal-title":"IJCAI"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Garcez, A. S., Zaverucha G.: The Connectionist Inductive Learning and Logic Programming System. Applied Intelligence Journal, F. Kurfess (editor), Vol. 11, Number 1, 1999, pp. 59\u201377.","DOI":"10.1023\/A:1008328630915"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Hallack, N. A., Zaverucha, G., and Barbosa, V. C.: Towards a hybrid model of first-order theory refinement. In Hybrid Neural Systems. LNAI 1778, Springer-Verlag, 2000.","DOI":"10.1007\/10719871_7"},{"key":"2_CR8","first-page":"7","volume":"4","author":"D. Haussler","year":"1989","unstructured":"Haussler, D.: Learning Conjunctive concepts in structural domains. Machine Learning 4, 1989, pp. 7\u201340.","journal-title":"Machine Learning"},{"key":"2_CR9","unstructured":"Idestam-Almquist, P.: Efficient Induction of Recursive Definitions by Structural Analysis of Saturations. Advances in Inductive Logic Programming. Ed. Luc De Raedt, IOS Press, 1996, pp. 192\u2013205."},{"key":"2_CR10","unstructured":"Lavrac, N., and Dzeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood Series in Artificial Intelligence, 1994."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1080\/09540099308915704","volume":"5","author":"J.J. Mahoney","year":"1993","unstructured":"Mahoney, J.J., and Mooney, R. J.: Combining Connectionist and Symbolic Learning Methods to Refine Certainty-factor Rule-bases. Connection Science 5, 1993, pp. 339\u2013364.","journal-title":"Connection Science"},{"key":"2_CR12","volume-title":"Technical Report","author":"D. Michie","year":"1994","unstructured":"Michie, D., Muggleton, S., Page, D., Srinivasan, A.: To the international computing community: a new East-West Challenge. Technical Report, Oxford University Computing Laboratory, Oxford, UK, 1994."},{"key":"2_CR13","first-page":"453","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., and Feng, C.: Efficient Induction of Logic Programs. In Muggleton, S. (Eds) Inductive Logic Programming, Academic Press, London, 1992, pp. 453\u2013472."},{"key":"2_CR14","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. In New Generation Computing 13, 1995, pp. 245\u2013286.","journal-title":"New Generation Computing"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Muggleton, S.: Inductive logic programming: issues, results and the LLL challenge. Artificial Intelligence 114, pp. 283\u2013296, December 1999, pp. 283\u2013296.","DOI":"10.1016\/S0004-3702(99)00067-3"},{"key":"2_CR16","unstructured":"Plotkin, G.: A further note on inductive generalization. Machine Intelligence, v. 6. University Press, 1971."},{"key":"2_CR17","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"Quinlan, J. R.: Learning logical definitions from relations. Machine Learning 5, 1990, pp. 239\u2013266.","journal-title":"Machine Learning"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Ramon, J. and Bruynooghe, M.: A framework for defining distances between first-order logic objects. ILP-98, LNAI 1446. Springer-Verlag, 1998, pp. 271\u2013280.","DOI":"10.1007\/BFb0027331"},{"key":"2_CR19","unstructured":"Sebag, M. and Rouveirol, C.: Tractable Induction and Classification in First-Order Logic Via Stochastic Matching. Proc. of the 15th International Join Conference on Artificial Intelligence IJCAI-97, Morgan Kaufmann, 1997, pp. 888\u2013892."},{"key":"2_CR20","first-page":"321","volume":"14","author":"J. Shavlik","year":"1994","unstructured":"Shavlik, J.: Framework for Combining Symbolic and Neural Learning. Machine Learning 14, 1994, pp. 321\u2013331.","journal-title":"Machine Learning"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/72.557661","volume":"8","author":"A.-H. Tan","year":"1997","unstructured":"Tan, Ah-Hwee: Cascade ARTMAP: Integrating Neural Computation and Symbolic Knowledge Processing. IEEE Trans.on Neural Networks vol. 8, n. 2, 1997, pp. 237\u2013250.","journal-title":"IEEE Trans.on Neural Networks"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G. Towell","year":"1994","unstructured":"Towell, G., and Shavlik, J.: Knowledge-Based Artificial Neural Networks. Artificial Intelligence, vol. 70, 1994, pp. 119\u2013165.","journal-title":"Artificial Intelligence"},{"key":"2_CR23","unstructured":"Wrobel, S.: First Order Theory Refinement. Advances in Inductive Logic Programming. Ed. Luc De Raedt, IOS Press, 1996, pp. 14\u201333."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Kijsirikul, B. and Sinthupinyo, S.: Approximate ILP Rules by Backpropagation Neural Network: A Result on Thai Character Recognition. 9th International Workshop on Inductive Logic Programming, LNAI 1634, Springer-Verlag, 1999, pp. 162\u2013173.","DOI":"10.1007\/3-540-48751-4_16"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44797-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:17:25Z","timestamp":1556374645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44797-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425380","9783540447979"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44797-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}