{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:46:30Z","timestamp":1725475590805},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673057"},{"type":"electronic","value":"9783540464174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10719871_7","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T13:29:09Z","timestamp":1167398949000},"page":"92-106","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Hybrid Model of First-Order Theory Refinement"],"prefix":"10.1007","author":[{"given":"Nelson A.","family":"Hallack","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","reference":[{"key":"7_CR1","unstructured":"Botta, M., Giordana, A., Piola, R.: FONN: Combining first order logic with connectionist learning. In: Proceedings of the International Conference on Machine Learning-1997, pp. 48\u201356 (1997)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0950-7051(96)81915-0","volume":"8","author":"D.W. Optiz","year":"1995","unstructured":"Optiz, D.W., Shavlik, J.W.: Dynamically adding symbolically meaningful nodes to knowledge-based neural networks. Knowledge-Based Systems.\u00a08, 301\u2013311 (1995)","journal-title":"Knowledge-Based Systems."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Wogulis, J.: Revising relational domain theories. In: Proceedings of the Eighth In- ternational Workshop on Machine Learning., pp. 462\u2013466 (1991)","DOI":"10.1016\/B978-1-55860-200-7.50095-7"},{"key":"7_CR4","first-page":"71","volume":"13","author":"G. Towell","year":"1993","unstructured":"Towell, G., Shavlik, J.W.: Extracting refined rules from knowledge-based neural networks. Machine Learning.\u00a013, 71\u2013101 (1993)","journal-title":"Machine Learning."},{"key":"7_CR5","unstructured":"Jordan, M.I.: Attractor dynamics and parallelism in a connectionist sequential machine. In: Proceedings of the Eighth Annual Conference of the Cognitive Science Society, pp. 531\u2013546 (1986)"},{"key":"7_CR6","unstructured":"Mahoney, J.J.: Combining symbolic and connectionist learning methods to refine certainty-factor rule-bases. Ph.D. Thesis. University of Texas at Austin (1996)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Mahoney, J.J., Mooney, R.J.: Combining connectionist and symbolic learning methods to refine certainty-factor rule-bases. In: Connection Science. 5 (special issue on architectures for integrating neural and symbolic processing), pp. 339\u2013364 (1993)","DOI":"10.1080\/09540099308915704"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"69","author":"G. Towell","year":"1994","unstructured":"Towell, G., Shavlik, J.: Knowledge-based artificial neural networks. Artificial Intelligence\u00a069, 119\u2013165 (1994)","journal-title":"Artificial Intelligence"},{"key":"7_CR9","unstructured":"Towell, G.: Symbolic knowledge and neural networks: Insertion, refinement and extraction. Ph.D. Thesis. Computer Science Department, University of Wisconsin, Madison (1992)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Riedmiller, M., Braun, H.: A direct adaptive method for faster backpropagation learning: The RProp algorithm. In: Proceedings of the International Conference on Neural Networks, pp. 586\u2013591 (1993)","DOI":"10.1109\/ICNN.1993.298623"},{"key":"7_CR11","first-page":"1","volume-title":"Backpropagation: Theory, Architectures, and Applications.","author":"D.E. Rummelhart","year":"1995","unstructured":"Rummelhart, D.E., Durbin, R., Golden, R., Chauvin, Y.: Backpropagation: The basic theory. In: Rummelhart, D.E., Chauvin, Y. (eds.) Backpropagation: Theory, Architectures, and Applications., pp. 1\u201334. Lawrence Erlbaum Associates, Hillsdale NJ (1995)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/BFb0028145","volume-title":"Uncertainty in Knowledge Bases","author":"R.J. Machado","year":"1991","unstructured":"Machado, R.J., Rocha, A.F.: The combinatorial neural network: A connectionist model for knowledge-based systems. In: Bouchon, B., Zadeh, L., Yager, R. (eds.) Uncertainty in Knowledge Bases, pp. 578\u2013587. Springer, Berlin (1991)"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF00117813","volume":"6","author":"R. Setiono","year":"1996","unstructured":"Setiono, R., Liu, H.: Improving backpropagation learning with feature selection. Applied Intelligence.\u00a06(2), 129\u2013140 (1996)","journal-title":"Applied Intelligence."},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/72.712156","volume":"9","author":"R.J. Machado","year":"1998","unstructured":"Machado, R.J., Barbosa, V.C., Neves, P.A.: Learning in the combinatorial neural model. IEEE Transactions on Neural Networks\u00a09(5), 831\u2013847 (1998)","journal-title":"IEEE Transactions on Neural Networks"},{"key":"7_CR15","unstructured":"Garcez, A., Zaverucha, G., Carvalho, L.A.: Logic programming and inductive learning in artificial neural networks. In: Workshop on Knowledge Representation in Neural Networks (KI 1996), Budapest, pp. 9\u201318 (1996)"},{"issue":"1","key":"7_CR16","first-page":"59","volume":"11","author":"A. Garcez","year":"1999","unstructured":"Garcez, A., Zaverucha, G.: The connectionist inductive learning and logic programming system. Applied Intelligence Journal (special issue on neural networks and structured knowledge: representation and reasoning)\u00a011(1), 59\u201377 (1999)","journal-title":"Applied Intelligence Journal (special issue on neural networks and structured knowledge: representation and reasoning)"},{"key":"7_CR17","unstructured":"Pinkas, G.: Logical inference in symmetric connectionist networks. Doctoral thesis. Sever Institute of Technology, Washington University (1992)"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0140525X00030910","volume":"16","author":"L. Shastri","year":"1993","unstructured":"Shastri, L., Ajjanagadde, V.: From simple associations to systematic reasoning. Behavioral and Brain Sciences.\u00a016(3), 417\u2013494 (1993)","journal-title":"Behavioral and Brain Sciences."},{"key":"7_CR19","unstructured":"Holldobler, S.: Automated inferencing and connectionist models. Postdoctoral thesis. Intellektik, Informatik, TH Darmstadt (1993)"},{"key":"7_CR20","unstructured":"Kalinke, Y.: Using connectionist term representations for first-order deduction \u2013 a critical view. In: CADE-14, Workshop on Connectionist Systems for Knowledge Representation and Deduction., Townsville, Australia (1997) http:\/\/pikas.inf.tudresden.de\/~yve\/publ.html"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0004-3702(94)00028-Y","volume":"75","author":"R. Sun","year":"1995","unstructured":"Sun, R.: Robust reasoning: integrating rule-based and similarity-based reasoning. Artificial Intelligence.\u00a075, 241\u2013295 (1995)","journal-title":"Artificial Intelligence."},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing.\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing."},{"key":"7_CR23","unstructured":"Lavrac, N., Dzeroski, S.: Inductive Logic Programming: techniques and applications. Ellis Horwood series in Artificial Intelligence\u00a044 (1994)"},{"key":"7_CR24","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R.: Learning logical definitions from relations. Machine Learning\u00a05, 239\u2013266 (1990)","journal-title":"Machine Learning"},{"key":"7_CR25","unstructured":"Menezes, R., Zaverucha, G., Barbosa, V.C.: A penalty-function approach to rule extraction from knowledge-based neural networks. In: International Conference on Neural Information Processing (ICONIP 1998), Kitakyushu, Japan, pp. 1497\u20131500 (1998)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Neural Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10719871_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:34:08Z","timestamp":1556019248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10719871_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673057","9783540464174"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/10719871_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}