{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:31Z","timestamp":1725495931845},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77002-2_14","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T15:22:54Z","timestamp":1195226574000},"page":"160-169","source":"Crossref","is-referenced-by-count":54,"title":["The Halt Condition in Genetic Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Neves","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Machado","sequence":"additional","affiliation":[]},{"given":"Cesar","family":"Analide","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nio","family":"Abelha","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Brito","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"14_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1142\/S0218843096000051","volume":"5","author":"N.R. Jennings","year":"1996","unstructured":"Jennings, N.R., Faratin, P., Johnson, M.J., Norman, T.J., Brien, O., Wiegand, M.E.: Journal of Cooperative Information Systems\u00a05(2-3), 105\u2013130 (1996)","journal-title":"Journal of Cooperative Information Systems"},{"key":"14_CR2","volume-title":"Evolutionary Computation 1: Basic Algorithms And Operators","author":"P.J. Angeline","year":"2000","unstructured":"Angeline, P.J.: Parse Trees. In: B\u00e4ck, T., et al. (eds.) Evolutionary Computation 1: Basic Algorithms And Operators, Institute of Physics Publishing, Bristol (2000)"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/72.265964","volume":"5","author":"G. Rudolph","year":"1994","unstructured":"Rudolph, G.: Convergence Analysis of Canonical Genetic Algorithms. IEEE Transactions on Neural Networks, Special Issue on Evolutionary Computation\u00a05(1), 96\u2013101 (1994)","journal-title":"IEEE Transactions on Neural Networks, Special Issue on Evolutionary Computation"},{"key":"14_CR4","volume-title":"Advances in Genetic Programming 2","author":"A. Teller","year":"1996","unstructured":"Teller, A.: Evolving programmers: The co-evolution of intelligent recombination operators. In: Kinnear, K., Angeline, P. (eds.) Advances in Genetic Programming 2, MIT Press, Cambridge (1996)"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"436","DOI":"10.4018\/978-1-59140-556-6.ch073","volume-title":"Encyclopedia of Communities of Practice in Information and Knowledge Management","author":"C. Analide","year":"2006","unstructured":"Analide, C., Novais, P., Machado, J., Neves, J.: Quality of Knowledge in Virtual Entities. In: Encyclopedia of Communities of Practice in Information and Knowledge Management, pp. 436\u2013442. Idea Group Inc., USA (2006)"},{"key":"14_CR6","volume-title":"ISAP 2003. Proceedings of the 12th Conference on Intelligent Systems Application to Power Systems","author":"R. Mendes","year":"2003","unstructured":"Mendes, R., Kennedy, J., Neves, J.: Avoiding the Pitfalls of Local Optima: How topologies can Save the Day. In: ISAP 2003. Proceedings of the 12th Conference on Intelligent Systems Application to Power Systems, IEEE Computer Society, Lemnos, Greece (2003)"},{"key":"14_CR7","unstructured":"Neves, J.C.: A Logic Interpreter to Handle Time and Negation in Logic Data Bases. In: Proceedings of ACM 1984 Annual Conference, San Francisco, USA (October 24-27, 1984)"},{"key":"14_CR8","first-page":"235","volume-title":"Handbook of logic in Artificial Intelligence and Logic Programming","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"14_CR9","series-title":"LNAI","volume-title":"Proceedings of CLIMA VI","author":"R. Kowalski","year":"2006","unstructured":"Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Proceedings of CLIMA VI. LNCS (LNAI), Springer, Heidelberg (2006)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Turner, M., Fauconnier, G.: Conceptual Integration and Formal Expression. Johnson, M.: Journal of Metaphor and Symbolic Activity\u00a010(3) (1995)","DOI":"10.1207\/s15327868ms1003_3"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77002-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:17Z","timestamp":1619520737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77002-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770008"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77002-2_14","relation":{},"subject":[]}}