{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:16:31Z","timestamp":1739078191575,"version":"3.37.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1007\/bf03037572","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:22:53Z","timestamp":1240543373000},"page":"313-337","source":"Crossref","is-referenced-by-count":21,"title":["Logic-based genetic programming with definite clause translation grammars"],"prefix":"10.1007","volume":"19","author":[{"given":"Brian J.","family":"Ross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abramson, H. and Dahl, V.,Logic Grammars, Springer-Verlag, 1989.","key":"BF03037572_CR1","DOI":"10.1007\/978-1-4612-3640-5"},{"doi-asserted-by":"crossref","unstructured":"Alonso, L. and Schott, R.,Random Generation of Trees, Kluwer Academic Publishers, 1995.","key":"BF03037572_CR2","DOI":"10.1007\/978-1-4757-6353-9"},{"doi-asserted-by":"crossref","unstructured":"Angluin, D., \u201cComputational Learning Theory: Survey and Selected Bibliography,\u201d inProc. of the 24th Annual ACM Symposium on the Theory of Computing, ACM Press, pp. 351\u2013369, 1992.","key":"BF03037572_CR3","DOI":"10.1145\/129712.129746"},{"doi-asserted-by":"crossref","unstructured":"Banzhaf, W., Nordin, P., Keller, R.E., and Francone, F. D.,Genetic Programming: An Introduction, Morgan Kaufmann, 1998.","key":"BF03037572_CR4","DOI":"10.1007\/BFb0055923"},{"unstructured":"B\u00f6hm, W. and Geyer-Schulz, A., \u201cExact Uniform Initialization for Genetic Programming,\u201d inFoundations of Genetic Algorithms 4 (Belew, R. K. and Vose, M., eds.), Morgan Kaufmann, 1997.","key":"BF03037572_CR5"},{"key":"BF03037572_CR6","first-page":"39","volume-title":"Proc. of Genetic Programming 1997","author":"S. Brave","year":"1997","unstructured":"Brave, S., \u201cEvolving Deterministic Finite Automata using Cellular Encoding,\u201d inProc. of Genetic Programming 1997 (Koza, J. R.,eaet al, ed.), Stanford University, CA, USA, Morgan Kaufmann, pp. 39\u201344, 1997."},{"unstructured":"Charniak, E.,Statistical Language Learning, MIT Press, 1993.","key":"BF03037572_CR7"},{"doi-asserted-by":"crossref","unstructured":"Clocksin, W. F. and Mellish, C. S.,Programming in Prolog (4th ed), Springer-Verlag, 1994.","key":"BF03037572_CR8","DOI":"10.1007\/978-3-642-97596-7"},{"issue":"2","key":"BF03037572_CR9","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P. Cousot","year":"1996","unstructured":"Cousot, P., \u201cAbstract Interpretation,\u201dACM Computing Surveys, 28, 2, pp. 324\u2013328, 1996.","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"Dupont, P., \u201cRegular Grammatical Inference from Positive and Negative Samples by Genetic Search: the GIG Method,\u201d in2nd Intl. Coll. on Grammatical Inference and Applications, Springer-Verlag, pp. 236\u2013245, 1994.","key":"BF03037572_CR10","DOI":"10.1007\/3-540-58473-0_152"},{"unstructured":"Freeman, J. J., \u201cA Linear Representation for GP using Context Free Grammars,\u201d inProc. of Genetic Programming 1998 (Koza, J. R.et al., ed.), Morgan Kaufmann, pp. 72\u201377, 1998.","key":"BF03037572_CR11"},{"issue":"1","key":"BF03037572_CR12","first-page":"95","volume":"5","author":"K. S. Fu","year":"1975","unstructured":"Fu, K. S. and Booth, T. L., \u201cGrammatical Inference: Introduction and Survey-Part I,\u201dIEEE Transactions on Systems, Man, and Cybernetics, 5, 1, pp. 95\u2013111, 1975.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"unstructured":"Garg, V. K., Kumar, R. and Marcus, S. I., \u201cProbabilistic Language Framework for Stochastic Discrete Event Systems,\u201dTechnical Report 96-18, Institute for Systems Research, University of Maryland, April 1996, http:\/\/www.isr.umc.edu\/.","key":"BF03037572_CR13"},{"key":"BF03037572_CR14","series-title":"Studies in Fuzziness and Soft Computing","volume-title":"Fuzzy Rule-Based Expert Systems and Genetic Machine Learning","author":"A. Geyer-Schulz","year":"1996","unstructured":"Geyer-Schulz, A., \u201cFuzzy Rule-Based Expert Systems and Genetic Machine Learning,\u201dStudies in Fuzziness and Soft Computing, 3, 2nd revised edition, Physica-Verlag, Heidelberg, 1996.","edition":"2nd revised edi"},{"key":"BF03037572_CR15","first-page":"128","volume-title":"Proc. of Genetic Programming 1997","author":"A. Geyer-Shulz","year":"1997","unstructured":"Geyer-Shulz, A., \u201cThe Next 700 Programming Languages for Genetic Programming,\u201d inProc. of Genetic Programming 1997 (Koza, J. R.,et al, ed.), Stanford University, CA, USA, Morgan Kaufmann, pp. 128\u2013136, 1997."},{"unstructured":"Gruau, F., On Using Syntactic Contraints with Genetic Programming. inAdvances in Genetic Programming II (Angeline, P. J. and Kinnear, K. E., eds.), MIT Press, pp. 377\u2013394, 1996.","key":"BF03037572_CR16"},{"unstructured":"Haynes, T. D., Schoenefeld, D. A. and Wainwright, R. L., \u201cType Inheritance in Strongly Typed Genetic Programming,\u201d inAdvances in Genetic Programming II (Angeline, P. J. and Kinnear, K. E., editors), MIT Press, pp. 359\u2013375, 1996.","key":"BF03037572_CR17"},{"doi-asserted-by":"crossref","unstructured":"Holland, J. H.,Adaption in Natural and Artificial Systems, MIT Press, 1992.","key":"BF03037572_CR18","DOI":"10.7551\/mitpress\/1090.001.0001"},{"unstructured":"Hopcroft, J. E. and Ullman, J. D.,Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 1979.","key":"BF03037572_CR19"},{"unstructured":"Hussain, T. S. and Browse, R. A., \u201cAttribute Grammars for Genetic Representations of Neural Networks and Syntactic Constraints of Genetic Programming, inAIVIGI\u201998: Workshop on Evolutionary Computation, 1998.","key":"BF03037572_CR20"},{"doi-asserted-by":"crossref","unstructured":"Iba, H., \u201cRandom Tree Generation for Genetic Programming,\u201d inParallel Problem Solving from Nature IV (Voigt, H.-M. Ebeling, W., Rechenberg, I. and Schwefel, H.-P., eds.),Proc. of the International Conference on Evolutionary Computation, Springer-Verlag, pp. 144\u2013153, 1996.","key":"BF03037572_CR21","DOI":"10.1007\/3-540-61723-X_978"},{"doi-asserted-by":"crossref","unstructured":"Jacob, C., \u201cEvolving Evolution Programs: Genetic Programming and L-Systems,\u201d inProc. of Genetic Programming 1996 (Koza, J. R.,et al, ed.), MIT Press, pp. 107\u2013115, 1996.","key":"BF03037572_CR22","DOI":"10.7551\/mitpress\/3242.003.0016"},{"unstructured":"Kammeyer, T. E. and Belew, R. K., \u201cStochastic Context-free Grammar Induction with a Genetic Algorithm Using Local Search,\u201d inFoundations of Genetic Algorithms IV (Belew, R. K. and Vode, M., eds.), Morgan-Kaufmann, 1997.","key":"BF03037572_CR23"},{"unstructured":"Koza, J. R.,Genetic Programming, MIT Press, 1992.","key":"BF03037572_CR24"},{"unstructured":"Koza, J. R.,Genetic Programming II, MIT Press, 1994.","key":"BF03037572_CR25"},{"doi-asserted-by":"crossref","unstructured":"Lankhorst, M. M., \u201cGrammatical Inference with a Genetic Algorithm,\u201d inProc. of the 1994 EUROSIM Conference on Massively parallel Processing Applications and Development, pp. 423\u2013430, 1994.","key":"BF03037572_CR26","DOI":"10.1016\/B978-0-444-81784-6.50054-3"},{"key":"BF03037572_CR27","first-page":"406","volume-title":"Proc. of Genetic Programming 1997","author":"T. Longshaw","year":"1997","unstructured":"Longshaw, T., \u201cEvolutionary learning of large grammars,\u201d inProc. of Genetic Programming 1997 (Koza, J. R.eaet al, ed.), Stanford University, CA, USA, Morgan Kaufmann, pp. 406\u2013409, 1997."},{"doi-asserted-by":"crossref","unstructured":"Lucas, S., \u201cStructuring Chromosomes for Context-free Grammar Evolution,\u201d inProc. of 1st International Conference on Evolutionary Computation, IEEE Press, pp. 130\u2013135, 1994.","key":"BF03037572_CR28","DOI":"10.1109\/ICEC.1994.350028"},{"unstructured":"McKay, R. I., \u201cFitness Sharing in Genetic Programming,\u201d in Whitley, D.et al., ed.,Proc. of GECCO 2000, Morgan Kaufmann, 2000.","key":"BF03037572_CR29"},{"unstructured":"McKay, R. I., \u201cPartial Functions in Fitness-Shared Genetic Programming,\u201d inProc. of Congress on Evolutionary Computation (Zalzala, A., ed.), IEEE Press, 2000.","key":"BF03037572_CR30"},{"issue":"2","key":"BF03037572_CR31","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"D. J. Montana","year":"1995","unstructured":"Montana, D. J., \u201cStrongly Typed Genetic Programming,\u201dEvolutionary Computation, 3, 2, pp. 199\u2013230, 1995.","journal-title":"Evolutionary Computation"},{"key":"BF03037572_CR32","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. Pereira","year":"1980","unstructured":"Pereira, F. C. N. and Warren, D. H. D., \u201cDefinite Clause Grammars for Language Analysis \u2014 A Survey of the Formalism and a Comparison with Augmented Transition Networks,\u201dArtificial Intelligence, 13, Elsevier, pp. 231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"unstructured":"Press, W. H., Teukolsky, S. A., Vetterling, W. T. and Flannery, B. P.,Numerical Recipes in C. Cambridge University Press, 2 ed., 1992.","key":"BF03037572_CR33"},{"doi-asserted-by":"crossref","unstructured":"Rabiner, L. R., \u201cA Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition,\u201d inProc. of the IEEE, 77, 2, pp. 257\u2013286, 1989.","key":"BF03037572_CR34","DOI":"10.1109\/5.18626"},{"unstructured":"Ross, B. J., \u201cProbabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions,\u201dApplied Intelligence, Kluwer, 2000.","key":"BF03037572_CR35"},{"doi-asserted-by":"crossref","unstructured":"Ryan, C., Collins, J. J. and O\u2019Neill, M., \u201cGrammatical Evolution: Evolving Programs for an Arbitrary Language,\u201d inProc. of First European Workshop in Genetic Programming (EuroGP-98), (Banzhaf, W.,et al., ed.), Springer-Verlag, pp. 83\u201396, 1998.","key":"BF03037572_CR36","DOI":"10.1007\/BFb0055930"},{"key":"BF03037572_CR37","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/S0304-3975(97)00014-5","volume":"185","author":"Y. Sakakibara","year":"1997","unstructured":"Sakakibara, Y., \u201cRecent Advances of Grammatical Inference,\u201dTheoretical Computer Science, 185, Elsevier, pp. 15\u201345, 1997.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Schwehm, M. and Ost, A., \u201cInference of Stochastic Regular Grammars by Massively Parallel Genetic Algorithms,\u201d inProc. of 6th Intl. Conf. on Genetic Algorithms, Morgan-Kaufmann, 1995.","key":"BF03037572_CR38","DOI":"10.1016\/B978-0-444-81784-6.50064-6"},{"unstructured":"SICS.SICStus Prolog V.3 User\u2019s Manual, June 1995, http:\/\/www.sics.se\/isl\/sicstus.html.","key":"BF03037572_CR39"},{"unstructured":"Svingen, B., \u201cLearning Regular Languages Using Genetic Programming,\u201d inProc. of Genetic Programming 1998 (Koza, J. R.,et al, ed.), Morgan Kaufmann, pp. 374\u2013376, 1998.","key":"BF03037572_CR40"},{"doi-asserted-by":"crossref","unstructured":"Whigham, P. A., \u201cGrammatically-based Genetic Programming,\u201d inProc. of Workshop on Genetic Programming: From Theory to Real-World Applications (Rosca, J. P. ed.), pp. 31\u201341, 1995.","key":"BF03037572_CR41","DOI":"10.1049\/cp:19951092"},{"doi-asserted-by":"crossref","unstructured":"Whigham, P. A., \u201cInductive Bias and Genetic Programming,\u201d in1st International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications (GALESIA), (Zalzala, A. M. S., ed.), pp. 461\u2013466, 1995.","key":"BF03037572_CR42","DOI":"10.1049\/cp:19951092"},{"issue":"2","key":"BF03037572_CR43","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1162\/evco.1997.5.2.143","volume":"5","author":"M. L. Wong","year":"1997","unstructured":"Wong, M. L. and Leung, K. S., \u201cEvolutionary Program Induction Directed by Logic Grammars,\u201dEvolutionary Computation, 5, 2, IEEE, pp. 143\u2013180, 1997.","journal-title":"Evolutionary Computation"},{"unstructured":"Zhou, H. and Grefenstette, J. J., \u201cInduction of Finite Automata by Genetic Algorithms,\u201d inProc. of 1986 IEEE Intl. Conference on Systems, Man, and Cybernetics, Atlanta, GA, IEEE Press, pp. 170\u2013174, 1986.","key":"BF03037572_CR44"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037572.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037572\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:41:54Z","timestamp":1739076114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["BF03037572"],"URL":"https:\/\/doi.org\/10.1007\/bf03037572","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}