{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T15:39:46Z","timestamp":1768837186531,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"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":[[2003,9]]},"DOI":"10.1007\/bf03037475","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:04:57Z","timestamp":1240542297000},"page":"247-275","source":"Crossref","is-referenced-by-count":7,"title":["Belief revision via Lamarckian evolution"],"prefix":"10.1007","volume":"21","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037475_CR1","unstructured":"Ackely, D. H. and Littman, M. L., \u201cA Case for Lamarckian Evolution,\u201dArtificial Life III. (Langton, C. G. ed.), Addison Wesley, 1994."},{"key":"BF03037475_CR2","unstructured":"Alferes, J. J., Dam\u00e1sio, C. V. and Pereira, L. M., \u201cSLX \u2014 A Top-down Derivation Procedure for Programs with Explicit Negation,\u201d inProc. of Int. Symp. on Logic Programming (Bruynooghe, M. ed.), The MIT Press, 1994."},{"key":"BF03037475_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"Alferes, J. J., Dam\u00e1sio, C. V. and Pereira, L. M., \u201cA Logic Programming System for Non-monotonic Reasoning,\u201dJournal of Automated Reasoning, 14, pp. 93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"BF03037475_CR4","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. and Pereira, L. M.,Reasoning with Logic Programming, 1111, ofLNAI, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61488-5"},{"key":"BF03037475_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1005900924623","volume":"20","author":"J. J. Alferes","year":"1998","unstructured":"Alferes, J. J., Pereira, L. M. and Przymusinski, T. C., \u201c\u201cClassical\u201d negation in non-monotonic reasoning and logic programming,\u201dJournal of Automated Reasoning, 20, pp. 107\u2013142, 1998.","journal-title":"Journal of Automated Reasoning"},{"key":"BF03037475_CR6","unstructured":"Alferes, J. J., Pereira, L. M. and Swift, T., \u201cWell-founded Abduction via Tabled Dual Programs,\u201d inProc. of the 16th International Conference on Logic Programming (de Schreye, D. ed.), pp. 426\u2013440, MIT Press, 1999."},{"key":"BF03037475_CR7","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1086\/276408","volume":"30","author":"J. M. Baldwin","year":"1896","unstructured":"Baldwin, J. M., \u201cA New Factor in Evolution,\u201dAmerican Naturalist, 30, pp. 441\u2013451, 1896.","journal-title":"American Naturalist"},{"key":"BF03037475_CR8","unstructured":"Blackmore, S.,The Meme Machine, Oxford U.P., 1999."},{"key":"BF03037475_CR9","unstructured":"Brglez, F., Pownall, P. and Hum, R., \u201cAccelerated ATPG and Fault Grading via Testability Analysis\u201d inProc. of IEEE Int. Symposium on Circuits and Systems, pp. 695\u2013698, 1985. The ISCAS85 benchmark netlist are available via ftp monc.monc.org."},{"key":"BF03037475_CR10","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V. and Pereira, L. M., \u201cAbduction on 3-valued extended logic programs,\u201d inLogic Programming and Non-Monotonic Reasoning \u2014 Proc. of 3rd International Conference LPNMR\u201995, 925 of LNAI (Marek, V. W., Nerode, A. and Trusczynski, M. ed.), pp. 29\u201342, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-59487-6_3"},{"key":"BF03037475_CR11","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V. and Pereira, L. M., \u201cA Survey on Paraconsistent Semantics for Extended Logic Programs,\u201dHandbook of Defeasible Reasoning and Uncertainty Management Systems (Gabbay, D. M. and Smets, Ph. eds.),2, pp. 241\u2013320. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-017-1739-7_8"},{"key":"BF03037475_CR12","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V., Pereira, L. M. and Schroeder, M., \u201cREVISE: Logic Programming and Diagnosis\u201d inProc. of Logic-Programming and Non-Monotonic Reasoning, LPNMR\u201997, 1265 of LNAI, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_26"},{"key":"BF03037475_CR13","unstructured":"Dawkins, R.,The Selfish Gene, Oxford University Press, 1989."},{"key":"BF03037475_CR14","unstructured":"Dietterich, T., \u201cApproximate Satistical Tests for Comparing Supervised Classification Learning Algorithms,\u201dNeural Computation, in press (draft version available at http:\/\/www.cs.orst.edu\/tgd\/projects\/supervised.html), 2000."},{"key":"BF03037475_CR15","doi-asserted-by":"crossref","unstructured":"Dix, J., Pereira, L. M. and Przymusinski, T., \u201cProlegomena to Logic Programming and Non-monotonic Reasoning,\u201d inNon-Monotonic Extensions of Logic Programming \u2014 Selected Papers from NMELP\u201996 (Dix, J., Pereira, L. M. and Przymusinski, T. eds.),1216, in LNAI, pp. 1\u201336, Springer-Verlag, 1997.","DOI":"10.1007\/BFb0023799"},{"key":"BF03037475_CR16","unstructured":"Gelfond, M. and Lifschitz, V., \u201cThe Stable Model Semantics for Logic Programming,\u201d inProc. of the 5th Int. Conf. on Logic Programming (Kowalski, R. and Bowen, K. A. eds.), pp. 1070\u20131080, MIT Press, 1988."},{"key":"BF03037475_CR17","unstructured":"Grefenstette, J. J., \u201cLamarckian Learning in Multi-agent Environment,\u201d inProc. of 4th Intl. Conference on Genetic Algorithms, Morgan Kauffman, 1991."},{"key":"BF03037475_CR18","unstructured":"Hart, W. E. and Belew, R. K., \u201cOptimization with Genetic Algorithms Hybrids That Use Local Search,\u201d inAdaptive Individuals in Evolving Populations (Belew, R. K. and Mitchell, M. eds.), Addison Wesley, 1996."},{"key":"BF03037475_CR19","doi-asserted-by":"crossref","unstructured":"Li, Y., Tan, K. C. and Gong, M., \u201cModel Reduction in Control Systems by Means of Global Structure Evolution and Local Parameter Learning,\u201d inEvolutionary Algorithms in Engineering Applications (Dasgupta, D. and Michalewicz, Z. eds.), Springer-Verlag, 1996.","DOI":"10.1007\/978-3-662-03423-1_20"},{"key":"BF03037475_CR20","unstructured":"Malheiro, B., Jennings, N. R. and Oliveira, E., \u201cBelief Revision in Multiagent Systems,\u201d inProc. of the 11th European Conference on Artificial Intelligence, 1994."},{"key":"BF03037475_CR21","unstructured":"Mitchell, T. M.,Machine Learning, McGraw Hill, 1997."},{"key":"BF03037475_CR22","unstructured":"Pereira, L. M. and Alferes, J. J., \u201cWell Founded Semantics for Logic Programs with Explicit Negation,\u201d inProc. of the European Conference on Artificial Intelligence ECAI92, pp. 102\u2013106, John Wiley and Sons, 1992."},{"key":"BF03037475_CR23","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., Dam\u00e1sio, C. V. and Alferes, J. J., \u201cDiagnosis and Debugging as Contradiction Removal,\u201d inProc. of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (Pereira, L. M. and Nerode, A. eds.), pp. 316\u2013330, MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.001.0001"},{"key":"BF03037475_CR24","doi-asserted-by":"crossref","unstructured":"Spector, L. and Luke, S., \u201cCultural Transmission of Information in Genetic Programming,\u201dGenetic Programming 1996: InProc. of the First Annual Conference, pp. 209\u2013214, The MIT Press, 1996.","DOI":"10.7551\/mitpress\/3242.003.0028"},{"key":"BF03037475_CR25","unstructured":"Spector, L. and Luke, S., \u201cCulture Enhances the Evolvability of Cognition,\u201d inProc. of the 1996 Cognitive Science Society Meeting, 1996."},{"issue":"3","key":"BF03037475_CR26","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K. A. and Schlipf, J. S., \u201cThe Well-founded Semantics for General Logic Programs,\u201dJournal of the ACM, 38, 3, pp. 620\u2013650, 1991.","journal-title":"Journal of the ACM"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037475.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037475\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:19Z","timestamp":1739076019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["BF03037475"],"URL":"https:\/\/doi.org\/10.1007\/bf03037475","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}