{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:28:12Z","timestamp":1774837692124,"version":"3.50.1"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1008328630915","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"59-77","source":"Crossref","is-referenced-by-count":89,"title":["The Connectionist Inductive Learning and Logic Programming System"],"prefix":"10.1007","volume":"11","author":[{"given":"Artur S.","family":"Avila Garcez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"211546_CR1","unstructured":"N. Lavrac and S. Dzeroski, \u201cInductive logic programming: Techniques and applications,\u201d Ellis Horwood Series in Artificial Intelligence, 1994."},{"key":"211546_CR2","unstructured":"T.M. Mitchell, Machine Learning, McGraw-Hill, 1997."},{"key":"211546_CR3","unstructured":"S.B. Thrun et al., \u201cThe MONK's problems: A performance comparison of different learning algorithms,\u201d Technical Report, Carnegie Mellon University, 1991."},{"key":"211546_CR4","doi-asserted-by":"crossref","unstructured":"R.S. Michalski, \u201cLearning strategies and automated knowledge acquisition,\u201d Computational Models of Learning, Symbolic Computation, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-82742-6_1"},{"key":"211546_CR5","unstructured":"N.K. Bose and P. Liang, Neural Networks Fundamentals with Graphs, Algorithms, and Applications, McGraw-Hill, 1996."},{"key":"211546_CR6","first-page":"5","volume-title":"Knowledge Representation in Neural Networks","author":"F.J. Kurfess","year":"1997","unstructured":"F.J. Kurfess, \u201cNeural networks and structured knowledge,\u201d in Knowledge Representation in Neural Networks, edited by Ch. Herrmann, F. Reine, and A. Strohmaier, Logos-Verlag: Berlin, pp. 5-22, 1997."},{"key":"211546_CR7","doi-asserted-by":"crossref","unstructured":"G. Pinkas, \u201cEnergy minimization and the satisfiability of propositional calculus,\u201d Neural Computation, vol. 3,no. 2, 1991.","DOI":"10.1162\/neco.1991.3.2.282"},{"key":"211546_CR8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0004-3702(94)00032-V","volume":"77","author":"G. Pinkas","year":"1995","unstructured":"G. Pinkas, \u201cReasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge,\u201d Artificial Intelligence, vol. 77, pp. 203-247, 1995.","journal-title":"Artificial Intelligence"},{"key":"211546_CR9","volume-title":"Automated inferencing and connectionist models","author":"S. Holldobler","year":"1993","unstructured":"S. Holldobler, \u201cAutomated inferencing and connectionist models,\u201d Post Ph. D. Thesis, Intellektik, Informatik, TH Darmstadt, 1993."},{"key":"211546_CR10","unstructured":"H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972."},{"key":"211546_CR11","unstructured":"S. Holldobler and Y. Kalinke, \u201cToward a new massively parallel computational model for logic programming,\u201d in Proc. Workshop on Combining Symbolic and Connectionist Processing, ECAI 94, 1994."},{"key":"211546_CR12","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"211546_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"106","author":"K.R. Apt","year":"1993","unstructured":"K.R. Apt and D. Pedreschi, \u201cReasoning about termination of pure prolog programs,\u201d Information and Computation, vol. 106, pp. 109-157, 1993.","journal-title":"Information and Computation"},{"key":"211546_CR14","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M. Fitting","year":"1994","unstructured":"M. Fitting, \u201cMetric methods\u2014three examples and a theorem,\u201d Journal of Logic Programming, vol. 21, pp. 113-127, 1994.","journal-title":"Journal of Logic Programming"},{"key":"211546_CR15","first-page":"1070","volume-title":"Proc. Fifth International Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz, \u201cThe stable model semantics for logic programming,\u201d in Proc. Fifth International Symposium on Logic Programming, MIT Press: Cambridge, pp. 1070-1080, 1988."},{"issue":"1","key":"211546_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G.G. Towell","year":"1994","unstructured":"G.G. Towell and J.W. Shavlik, \u201cKnowledge-based artificial neural networks,\u201d Artificial Intelligence, vol. 70,no. 1, pp. 119-165, 1994.","journal-title":"Artificial Intelligence"},{"key":"211546_CR17","doi-asserted-by":"crossref","unstructured":"D.E. Rumelhart, G.E. Hinton, and R.J. Williams, \u201cLearning internal representations by error propagation,\u201d in Parallel Distributed Processing, edited by D.E. Rumelhart and J.L. McClelland, MIT Press, vol. 1, pp. 318-363,1986.","DOI":"10.21236\/ADA164453"},{"key":"211546_CR18","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"S. Muggleton and L. Raedt, \u201cInductive logic programming: Theory and methods,\u201d Journal of Logic Programming, vol. 19, pp. 629-679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"211546_CR19","series-title":"Technical Report","volume-title":"Symbolic knowledge extraction from trained neural networks: A new approach","author":"A.S. d'Avila Garcez","year":"1998","unstructured":"A.S. d'Avila Garcez, K. Broda, and D. Gabbay, \u201cSymbolic knowledge extraction from trained neural networks: A new approach,\u201d Technical Report TR-98-014, Department of Computing, Imperial College, London, 1998."},{"key":"211546_CR20","unstructured":"L.M. Fu, Neural Networks in Computer Intelligence, McGraw Hill, 1994."},{"key":"211546_CR21","volume-title":"Symbolic knowledge and neural networks: Insertion, refinement and extraction","author":"G.G. Towell","year":"1991","unstructured":"G.G. Towell, \u201cSymbolic knowledge and neural networks: Insertion, refinement and extraction,\u201d Ph.D. Thesis, Computer Sciences Department, University of Wisconsin, Madison, 1991."},{"key":"211546_CR22","unstructured":"J. Hertz, A. Krogh, and R.G. Palmer, \u201cIntroduction to the theory of neural computation,\u201d Studies in the Science of Complexity, Santa Fe Institute, Addison-Wesley Publishing Company, 1991."},{"key":"211546_CR23","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt and N. Bol, \u201cLogic programming and negation: A survey,\u201d Journal of Logic Programming, vol. 19, pp. 9-71, 1994.","journal-title":"Journal of Logic Programming"},{"key":"211546_CR24","doi-asserted-by":"crossref","unstructured":"R.M. Karp and V. Ramachandran, \u201cParallel algorithms for shared-memory machines,\u201d in Handbook of Theoretical Computer Science, edited by J. van Leeuwen, Elsevier Science, vol. 17, pp. 869-941, 1990.","DOI":"10.1016\/B978-0-444-88071-0.50022-9"},{"key":"211546_CR25","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K. Hornik","year":"1989","unstructured":"K. Hornik, M. Stinchcombe, and H. White, \u201cMultilayer feedforward networks are universal approximators,\u201d Neural Networks, vol. 2, pp. 359-366, 1989.","journal-title":"Neural Networks"},{"key":"211546_CR26","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1162\/neco.1996.8.4.805","volume":"8","author":"B. DasGupta","year":"1996","unstructured":"B. DasGupta and G. Schinitger, \u201cAnalog versus discrete neural networks,\u201d Neural Computation, vol. 8, pp. 805-818, 1996.","journal-title":"Neural Computation"},{"key":"211546_CR27","unstructured":"M.I. Jordan, \u201cAttractor dynamics and parallelisms in a connectionist sequential machine,\u201d in Proc. Eighth Annual Conference of the Cognitive Science Society, pp. 531-546, 1986."},{"key":"211546_CR28","unstructured":"R. Andrews and S. Geva, \u201cInserting and extracting knowledge from constrained error backpropagation networks,\u201d in Proc. Sixth Australian Conference on Neural Networks, Sydney, 1995."},{"key":"211546_CR29","unstructured":"E. Pop, R. Hayward, and J. Diederich, RULENEG: Extracting Rules from a Trained ANN by Stepwise Negation, QUT NRC, 1994."},{"key":"211546_CR30","unstructured":"S.B. Thrun, \u201cExtracting provably correct rules from artificial neural networks,\u201d Technical Report, Institut fur Informatik, Universitat Bonn, 1994."},{"key":"211546_CR31","doi-asserted-by":"crossref","unstructured":"M.W. Craven and J.W. Shavlik, \u201cUsing sampling and queries to extract rules from trained neural networks,\u201d in Proc. Eleventh International Conference on Machine Learning, pp. 37-45, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50013-1"},{"issue":"1","key":"211546_CR32","first-page":"71","volume":"13","author":"G.G. Towell","year":"1993","unstructured":"G.G. Towell and J.W. Shavlik, \u201cThe extraction of refined rules from knowledge based neural networks,\u201d Machine Learning, vol. 13,no. 1, pp. 71-101, 1993.","journal-title":"Machine Learning"},{"key":"211546_CR33","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1162\/neco.1997.9.1.205","volume":"9","author":"R. Setiono","year":"1997","unstructured":"R. Setiono, \u201cExtracting rules from neural networks by pruning and hidden-unit splitting,\u201d Neural Computation, vol. 9, pp. 205-225, 1997.","journal-title":"Neural Computation"},{"issue":"6","key":"211546_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0950-7051(96)81920-4","volume":"8","author":"R. Andrews","year":"1995","unstructured":"R. Andrews, J. Diederich, and A.B. Tickle, \u201cA survey and critique of techniques for extracting rules from trained artificial neural networks,\u201d Knowledge-based Systems, vol. 8,no. 6, pp. 1-37, 1995.","journal-title":"Knowledge-based Systems"},{"key":"211546_CR35","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski, Nonmonotonic Logic: Context Dependent Reasoning, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"211546_CR36","volume-title":"Molecular Biology of the Gene","author":"J.D. Watson","year":"1987","unstructured":"J.D. Watson, N.H. Hopkins, J.W. Roberts, J.A. Steitz, and A.M. Weiner, Molecular Biology of the Gene, Benjamin Cummings: Menlo Park, vol. 1, 1987."},{"key":"211546_CR37","volume-title":"Principles of Neurodynamics: Perceptrons and the Theory of Brain Mechanisms","author":"F. Rosenblatt","year":"1962","unstructured":"F. Rosenblatt, Principles of Neurodynamics: Perceptrons and the Theory of Brain Mechanisms, Spartan Books: New York, 1962."},{"key":"211546_CR38","first-page":"81","volume":"1","author":"J.R. Quinlan","year":"1986","unstructured":"J.R. Quinlan, \u201cInduction of decision trees,\u201d Machine Learning, vol. 1, pp. 81-106, 1986.","journal-title":"Machine Learning"},{"key":"211546_CR39","first-page":"139","volume":"2","author":"D.H. Fisher","year":"1987","unstructured":"D.H. Fisher, \u201cKnowledge acquisition via incremental conceptual clustering,\u201d Machine Learning, vol. 2, pp. 139-172, 1987.","journal-title":"Machine Learning"},{"key":"211546_CR40","first-page":"211","volume-title":"Methods in Enzymology","author":"G.D. Stormo","year":"1990","unstructured":"G.D. Stormo, \u201cConsensus patterns in DNA,\u201d Methods in Enzymology, Academic Press: Orlando, vol. 183, pp. 211-221, 1990."},{"key":"211546_CR41","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","volume":"66","author":"D. Ourston","year":"1994","unstructured":"D. Ourston and R.J. Mooney, \u201cTheory refinement combining analytical and empirical methods,\u201d Artificial Intelligence, vol. 66, pp. 273-310, 1994.","journal-title":"Artificial Intelligence"},{"key":"211546_CR42","doi-asserted-by":"crossref","unstructured":"K. Thompson, P. Langley, and W. Iba, \u201cUsing background knowledge in concept formation,\u201d in Proc. Eighth International Machine Learning Workshop, Evanston, pp. 554-558, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50113-6"},{"key":"211546_CR43","first-page":"57","volume":"9","author":"M. Pazzani","year":"1992","unstructured":"M. Pazzani and D. Kibler, \u201cThe utility of knowledge in inductive learning,\u201d Machine Learning, vol. 9, pp. 57-94, 1992.","journal-title":"Machine Learning"},{"key":"211546_CR44","unstructured":"G.G. Towell and J.W. Shavlik, \u201cUsing symbolic learning to improve knowledge-based neural networks,\u201d in Proc. AAAI'94, 1994."},{"key":"211546_CR45","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz, \u201cClassical negation in logic programs and disjunctive databases,\u201d New Generation Computing, Springer-Verlag, vol. 9, pp. 365-385, 1991.","DOI":"10.1007\/BF03037169"},{"key":"211546_CR46","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cA logic for default reasoning,\u201d Artificial Intelligence, vol. 13, pp. 81-132, 1980.","journal-title":"Artificial Intelligence"},{"key":"211546_CR47","first-page":"121","volume":"1","author":"A.S. d'Avila Garcez","year":"1997","unstructured":"A.S. d'Avila Garcez, G. Zaverucha, and V. da Silva, \u201cApplying the connectionist inductive learning and logic programming system to power system diagnosis,\u201d in Proc. IEEE International Joint Conference on Neural Networks IJCNN'97, vol. 1, Houston, USA, pp. 121-126, 1997.","journal-title":"Proc. IEEE International Joint Conference on Neural Networks IJCNN'97"},{"key":"211546_CR48","series-title":"LNAI","first-page":"260","volume-title":"Proc. KI'94","author":"G. Zaverucha","year":"1994","unstructured":"G. Zaverucha, \u201cA prioritized contextual default logic: Curing anomalous extensions with a simple abnormality default theory,\u201d in Proc. KI'94, Springer-Verlag: Saarbrucken, Germany, LNAI 861, pp. 260-271, 1994."},{"key":"211546_CR49","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, LDS\u2014Labelled Deductive Systems\u2014Volume 1 Foundations, Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"key":"211546_CR50","unstructured":"N. Hallack, G. Zaverucha, and V. Barbosa, \u201cTowards a hybrid model of first-order theory refinement,\u201d in Neural Information Processing Systems, Workshop on Hybrid Neural Symbolic Integration, Breckenridge, Colorado, USA, 1998."},{"key":"211546_CR51","unstructured":"P. Gardenfors (Ed.), \u201cBelief revision,\u201d Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992."},{"key":"211546_CR52","doi-asserted-by":"crossref","unstructured":"P. Gardenfors and H. Rott, \u201cBelief revision,\u201d in Handbook of Logic in Artificial Intelligence and Logic Programming, edited by D. Gabbay, C. Hogger, and J. Robinson, Oxford University Press, vol. 4, pp. 35-132, 1994.","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"key":"211546_CR53","unstructured":"M. Hilario, \u201cAn overview of strategies for neurosymbolic integration,\u201d in Proc. Workshop on Connectionist-Symbolic Integration: From Unified to Hybrid Approaches, IJCAI 95, 1995."},{"key":"211546_CR54","doi-asserted-by":"crossref","first-page":"5522","DOI":"10.1016\/S0021-9258(18)83576-1","volume":"264","author":"M.C. O'Neill","year":"1989","unstructured":"M.C. O'Neill, \u201cEscherichia coli promoters: Consensus as it relates to spacing class, specificity, repeat substructure, and three dimensional organization,\u201d Journal of Biological Chemistry, vol. 264, pp. 5522-5530, 1989.","journal-title":"Journal of Biological Chemistry"},{"key":"211546_CR55","unstructured":"G.G. Towell, J.W. Shavlik, and M.O. Noordewier, \u201cRefinement of approximately correct domain theories by knowledge-based neural networks,\u201d in Proc. AAAI'90, Boston, pp. 861-866, 1990."},{"key":"211546_CR56","first-page":"530","volume":"3","author":"M.O. Noordewier","year":"1991","unstructured":"M.O. Noordewier, G.G. Towell, and J.W. Shavlik, \u201cTraining knowledge-based neural networks to recognize genes in DNA sequences,\u201d Advances in Neural Information Processing Systems, Denver, vol. 3, pp. 530-536, 1991.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"211546_CR57","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1080\/09540098908915644","volume":"1","author":"L.M. Fu","year":"1989","unstructured":"L.M. Fu, \u201cIntegration of neural heuristics into knowledge-based inference,\u201d Connection Science, vol. 1, pp. 325-340, 1989.","journal-title":"Connection Science"},{"key":"211546_CR58","unstructured":"B.F. Katz, \u201cEBL and SBL: A neural network synthesis,\u201d in Proc. Eleventh Annual Conference of the Cognitive Science Society, Ann Arbor, pp. 683-689, 1989."},{"key":"211546_CR59","unstructured":"M. Minsky, \u201cLogical versus analogical, symbolic versus connectionist, neat versus scruffy,\u201d AI Magazine, vol. 12,no. 2, 1991."},{"key":"211546_CR60","first-page":"1507","volume":"3","author":"R. Basilio","year":"1998","unstructured":"R. Basilio, G. Zaverucha, and A.S. J'Avila Garcez, \u201cInducing Relational Concepts with Neural Networks via the Linus System,\u201d in Proc. International Conference on Neural Information Processing, vol. 3, pp. 1507-1510, Japan, 1998.","journal-title":"Proc. International Conference on Neural Information Processing"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008328630915.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008328630915\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008328630915.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:56:20Z","timestamp":1747580180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008328630915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["211546"],"URL":"https:\/\/doi.org\/10.1023\/a:1008328630915","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}