{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:54Z","timestamp":1725518514455},"publisher-location":"Berlin, Heidelberg","reference-count":76,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708261"},{"type":"electronic","value":"9783540708292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70829-2_5","type":"book-chapter","created":{"date-parts":[[2008,9,5]],"date-time":"2008-09-05T15:46:08Z","timestamp":1220629568000},"page":"61-89","source":"Crossref","is-referenced-by-count":0,"title":["Collaborative vs. Conflicting Learning, Evolution and Argumentation"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Alexandre Miguel","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"5_CR2","volume-title":"Proc. Int. Symp. on Logic Programming","author":"J.J. Alferes","year":"1994","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: SLX - A top-down derivation procedure for programs with explicit negation. In: Bruynooghe, M. (ed.) Proc. Int. Symp. on Logic Programming, MIT Press, Cambridge (1994)"},{"key":"5_CR3","unstructured":"Alferes, J.J., Pereira, L.M.: http:\/\/xsb.sourceforge.net\/manual2\/node179.html"},{"key":"5_CR4","first-page":"3","volume-title":"NMELP","author":"J.J. Alferes","year":"1994","unstructured":"Alferes, J.J., Pereira, L.M.: An argumentation theoretic semantics based on non-refutable falsity. In: Dix, J., et al. (eds.) NMELP, pp. 3\u201322. Springer, Heidelberg (1994)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"Alferes, J.J., Moniz Pereira, L.: Reasoning with Logic Programming. LNCS, vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1005900924623","volume":"20","author":"J.J. Alferes","year":"1998","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinski, T.C.: Classical negation in non-monotonic reasoning and logic programming. Journal of Automated Reasoning\u00a020, 107\u2013142 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR7","first-page":"145","volume-title":"Inductive Logic Programming","author":"M. Bain","year":"1992","unstructured":"Bain, M., Muggleton, S.: Non-monotonic learning. In: Muggleton, S. (ed.) Inductive Logic Programming, pp. 145\u2013161. Academic Press, London (1992)"},{"key":"5_CR8","unstructured":"http:\/\/www.psych.utoronto.ca\/museum\/baldwin.htm"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-24609-1_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2003","unstructured":"Baral, C., Gelfond, M., Rushton, J., Nelson,: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 21\u201333. Springer, Heidelberg (2003)"},{"issue":"20","key":"5_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019(20), 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Autom. Reasoning\u00a010(3), 399\u2013420 (1993)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell.\u00a093, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"key":"5_CR13","unstructured":"Chan, P., Stolfo, S.: Meta-learning for multistrategy and parallel learning. In: Proceedings of the 2nd International Workshop on Multistrategy Learning, pp. 150\u2013165 (1993)"},{"key":"#cr-split#-5_CR14.1","unstructured":"Costantini, S., Dell???Acqua, P., Pereira, L.M., Toni, F.: Towards a Model of Evolving Agents for Ambient Intelligence. In: Sadri, F., Stathis, K. (eds.) Procs. Symposium on Artificial Societies for Ambient Intelligence (ASAmI 2007) (2007);"},{"key":"#cr-split#-5_CR14.2","unstructured":"Extended version submited to a Journal"},{"key":"5_CR15","first-page":"607","volume-title":"Knowledge Representation and Reasoning","author":"C.V. Dam\u00e1sio","year":"1994","unstructured":"Dam\u00e1sio, C.V., Nejdl, W., Pereira, L.M.: REVISE: An extended logic programming system for revising knowledge bases. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Knowledge Representation and Reasoning, pp. 607\u2013618. Morgan Kaufmann, San Francisco (1994)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-59487-6_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"1995","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Abduction on 3-valued extended logic programs. In: Marek, V.W., Truszczy\u0144ski, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol.\u00a0928, pp. 29\u201342. Springer, Heidelberg (1995)"},{"key":"5_CR17","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey on paraconsistent semantics for extended logic programs. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60983-0_7","volume-title":"Extensions of Logic Programming","author":"C.V. Dam\u00e1sio","year":"1996","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Default Negated Conclusions: Why Not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 103\u2013117. Springer, Heidelberg (1996)"},{"key":"5_CR19","volume-title":"Interactive Theory Revision: An Inductive Logic Programming Approach","author":"L. Raedt De","year":"1992","unstructured":"De Raedt, L.: Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, London (1992)"},{"key":"5_CR20","unstructured":"De Raedt, L., Bleken, E., Coget, V., Ghil, C., Swennen, B., Bruynooghe, M.: Learning to survive. In: Proceedings of the 2nd International Workshop on Multistrategy Learning, pp. 92\u2013106 (1993)"},{"key":"5_CR21","first-page":"849","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","author":"L. Raedt De","year":"1989","unstructured":"De Raedt, L., Bruynooghe, M.: Towards friendly concept-learners. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp. 849\u2013856. Morgan Kaufmann, San Francisco (1989)"},{"key":"5_CR22","unstructured":"De Raedt, L., Bruynooghe, M.: On negation and three-valued logic in interactive concept learning. In: Proceedings of the 9th European Conference on Artificial Intelligence (1990)"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00992861","volume":"8","author":"L. Raedt De","year":"1992","unstructured":"De Raedt, L., Bruynooghe, M.: Interactive concept learning and constructive induction by analogy. Machine Learning\u00a08(2), 107\u2013150 (1992)","journal-title":"Machine Learning"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: I, II. Fundamenta Informaticae XXII(3), 227\u2013255, 257\u2013288 (1995)","DOI":"10.3233\/FI-1995-2234"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0023799","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"J. Dix","year":"1997","unstructured":"Dix, J., Pereira, L.M., Przymusinski, T.: Prolegomena to logic programming and non-monotonic reasoning. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 1\u201336. Springer, Heidelberg (1997)"},{"key":"5_CR26","unstructured":"Drobnic, M., Gams, M.: Multistrategy learning: An analytical approach. In: Proceedings of the 2nd International Workshop on Multistrategy Learning, pp. 31\u201341 (1993)"},{"key":"5_CR27","unstructured":"D\u017eeroski, S.: Handling noise in inductive logic programming. Master\u2019s thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana (1991)"},{"issue":"2","key":"5_CR28","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"2","key":"5_CR29","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P.M. Dung","year":"2006","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell.\u00a0170(2), 114\u2013159 (2006)","journal-title":"Artif. Intell."},{"key":"5_CR30","volume-title":"Abductive and Inductive Reasoning","author":"F. Esposito","year":"1998","unstructured":"Esposito, F., Ferilli, S., Lamma, E., Mello, P., Milano, M., Riguzzi, F., Semeraro, G.: Cooperation of abduction and induction in logic programming. In: Flach, P.A., Kakas, A.C. (eds.) Abductive and Inductive Reasoning, Pure and Applied Logic. Kluwer, Dordrecht (1998)"},{"key":"5_CR31","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Methods of Logic in Computer Science"},{"key":"5_CR32","first-page":"1070","volume-title":"Proceedings of the 5th Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) Proceedings of the 5th Int. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"5_CR33","first-page":"579","volume-title":"Proceedings of the 7th International Conference on Logic Programming ICLP 1990","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the 7th International Conference on Logic Programming ICLP 1990, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1111\/j.1467-8640.1989.tb00317.x","volume":"5","author":"D. Gordon","year":"1989","unstructured":"Gordon, D., Perlis, D.: Explicitly biased generalization. Computational Intelligence\u00a05(2), 67\u201381 (1989)","journal-title":"Computational Intelligence"},{"key":"5_CR35","volume-title":"Signal detection theory and psychophysics","author":"D.M. Green","year":"1966","unstructured":"Green, D.M., Swets, J.M.: Signal detection theory and psychophysics. John Wiley and Sons Inc., New York (1966)"},{"key":"5_CR36","unstructured":"Greiner, R., Grove, A.J., Roth, D.: Learning active classifiers. In: Proceedings of the Thirteenth International Conference on Machine Learning (ICML 1996) (1996)"},{"key":"5_CR37","volume-title":"Abductive and Inductive Reasoning, Pure and Applied Logic","author":"K. Inoue","year":"1998","unstructured":"Inoue, K.: Learning abductive and nonmonotonic logic programs. In: Flach, P.A., Kakas, A.C. (eds.) Abductive and Inductive Reasoning, Pure and Applied Logic. Kluwer, Dordrecht (1998)"},{"key":"5_CR38","first-page":"176","volume-title":"Proceedings of the 15th International Joint Conference on Artificial Intelligence","author":"K. Inoue","year":"1997","unstructured":"Inoue, K., Kudoh, Y.: Learning extended logic programs. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence, pp. 176\u2013181. Morgan Kaufmann, San Francisco (1997)"},{"key":"5_CR39","unstructured":"Jenkins, W.: Intelog: A framework for multistrategy learning. In: Proceedings of the 2nd International Workshop on Multistrategy Learning, pp. 58\u201365 (1993)"},{"key":"5_CR40","first-page":"275","volume-title":"LPNMR","author":"A.C. Kakas","year":"1991","unstructured":"Kakas, A.C., Mancarella, P.: Negation as stable hypotheses. In: LPNMR, pp. 275\u2013288. MIT Press, Cambridge (1991)"},{"key":"5_CR41","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)"},{"key":"5_CR42","unstructured":"Jean Baptiste Lamarck: http:\/\/www.ucmp.berkeley.edu\/history\/lamarck.html"},{"key":"5_CR43","unstructured":"Grefenstette, J.J.: Lamarckian learning in multi-agent environments (1991)"},{"key":"5_CR44","unstructured":"Lamma, E., Riguzzi, F., Pereira, L.M.: Learning in a three-valued setting. In: Proceedings of the Fourth International Workshop on Multistrategy Learning (1988)"},{"key":"5_CR45","unstructured":"Lamma, E., Riguzzi, F., Pereira, L.M.: Agents learning in a three-valued setting. Technical report, DEIS - University of Bologna (1999a)"},{"issue":"3","key":"5_CR46","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF03037475","volume":"21","author":"E. Lamma","year":"2003","unstructured":"Lamma, E., Pereira, L.M., Riguzzi, F.: Belief revision via lamarckian evolution. New Generation Computing\u00a021(3), 247\u2013275 (2003)","journal-title":"New Generation Computing"},{"issue":"1-2","key":"5_CR47","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1007681906490","volume":"38","author":"E. Lamma","year":"2000","unstructured":"Lamma, E., Riguzzi, F., Pereira, L.M.: Strategies in combined learning via logic programs. Machine Learning\u00a038(1-2), 63\u201387 (2000)","journal-title":"Machine Learning"},{"key":"5_CR48","first-page":"273","volume-title":"Proceedings of the 9th International Workshop on Machine Learning","author":"S. Lapointe","year":"1992","unstructured":"Lapointe, S., Matwin, S.: Sub-unification: A tool for efficient induction of recursive programs. In: Sleeman, D., Edwards, P. (eds.) Proceedings of the 9th International Workshop on Machine Learning, pp. 273\u2013281. Morgan Kaufmann, San Francisco (1992)"},{"key":"5_CR49","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood (1994)"},{"key":"5_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Generalizing updates: from models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471. Springer, Heidelberg (1998)"},{"issue":"3","key":"5_CR51","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(98)10027-4","volume":"38","author":"J.Y. Liu","year":"1999","unstructured":"Liu, J.Y., Adams, L., Chen, W.: Constructive Negation Under the Well-Founded Semantics. J. Log. Program.\u00a038(3), 295\u2013330 (1999)","journal-title":"J. Log. Program."},{"key":"5_CR52","unstructured":"Mal\u00fd, M.: Complexity of revised stable models. Master\u2019s thesis, Comenius University Bratislava (2006)"},{"key":"5_CR53","unstructured":"Michalski, R.: Discovery classification rules using variable-valued logic system VL1. In: Proceedings of the Third International Conference on Artificial Intelligence, pp. 162\u2013172. Stanford University (1973)"},{"key":"5_CR54","first-page":"83","volume-title":"Machine Learning - An Artificial Intelligence Approach","author":"R. Michalski","year":"1984","unstructured":"Michalski, R.: A theory and methodology of inductive learning. In: Michalski, R., Carbonell, J., Mitchell, T. (eds.) Machine Learning - An Artificial Intelligence Approach, vol.\u00a01, pp. 83\u2013134. Springer, Heidelberg (1984)"},{"issue":"3-4","key":"5_CR55","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"5_CR56","first-page":"261","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., Buntine, W.: Machine invention of first-order predicates by inverting resolution. In: Muggleton, S. (ed.) Inductive Logic Programming, pp. 261\u2013280. Academic Press, London (1992)"},{"key":"5_CR57","unstructured":"Muggleton, S., Feng, C.: Efficient induction of logic programs. In: Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan, pp. 368\u2013381 (1990)"},{"key":"5_CR58","unstructured":"http:\/\/centria.di.fct.unl.pt\/~lmp\/software\/contrNeg.rar"},{"key":"5_CR59","doi-asserted-by":"crossref","unstructured":"Pazzani, M.J., Merz, C., Murphy, P., Ali, K., Hume, T., Brunk, C.: Reducing misclassification costs. In: Proceedings of the Eleventh International Conference on Machine Learning (ML 1994), pp. 217\u2013225 (1994)","DOI":"10.1016\/B978-1-55860-335-6.50034-9"},{"key":"5_CR60","unstructured":"http:\/\/www.peirce.org\/"},{"key":"5_CR61","first-page":"102","volume-title":"Proceedings of the European Conference on Artificial Intelligence ECAI 1992","author":"L.M. Pereira","year":"1992","unstructured":"Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: Proceedings of the European Conference on Artificial Intelligence ECAI 1992, pp. 102\u2013106. John Wiley and Sons, Chichester (1992)"},{"key":"5_CR62","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11595014_4","volume-title":"Progress in Artificial Intelligence","author":"L.M. Pereira","year":"2005","unstructured":"Pereira, L.M., Pinto, A.M.: Revised stable models - a semantics for logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 29\u201342. Springer, Heidelberg (2005)"},{"key":"5_CR63","unstructured":"Pereira, L.M., Pinto, A.M.: Reductio ad absurdum argumentation in normal logic programs. In: Argumentation and Non-monotonic Reasoning (ArgNMR 2007) workshop at LPNMR 2007, pp. 96\u2013113 (2007)"},{"key":"5_CR64","first-page":"454","volume-title":"LPAR","author":"L.M. Pereira","year":"2007","unstructured":"Pereira, L.M., Pinto, A.M.: Approved Models for Normal Logic Programs. In: LPAR, pp. 454\u2013468. Springer, Heidelberg (2007)"},{"key":"5_CR65","unstructured":"Pinto, A.M.: Explorations in revised stable models \u2014 a new semantics for logic programs. Master\u2019s thesis, Universidade Nova de Lisboa (February 2005)"},{"key":"5_CR66","unstructured":"Plotkin, G.: A note on inductive generalization. In: Machine Intelligence, vol.\u00a05, pp. 153\u2013163. Edinburgh University Press (1970)"},{"key":"5_CR67","volume-title":"Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD 1997)","author":"F.J. Provost","year":"1997","unstructured":"Provost, F.J., Fawcett, T.: Analysis and visualization of classifier performance: Comparison under imprecise class and cost distribution. In: Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD 1997), AAAI Press, Menlo Park (1997)"},{"key":"5_CR68","first-page":"239","volume":"5","author":"J. Quinlan","year":"1990","unstructured":"Quinlan, J.: Learning logical definitions from relations. Machine Learning\u00a05, 239\u2013266 (1990)","journal-title":"Machine Learning"},{"key":"5_CR69","volume-title":"C4.5: Programs for Machine Learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Morgan Kaufmann, San Mateo (1993)"},{"key":"5_CR70","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed-word data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"5_CR71","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.: The XSB Programmer\u2019s Manual Version 1.7.1 (1997)"},{"key":"5_CR72","unstructured":"Soares, L.: Revising undefinedness in the well-founded semantics of logic programs. Master\u2019s thesis, Universidade Nova de Lisboa (2006)"},{"issue":"3","key":"5_CR73","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"5_CR74","unstructured":"Vere, S.A.: Induction of concepts in the predicate calculus. In: Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI 1975), pp. 281\u2013287 (1975)"},{"key":"5_CR75","doi-asserted-by":"crossref","unstructured":"Whitley, D., Rana, S., Heckendorn, R.B.: The Island Model Genetic Algorithm: On Separability, Population Size and Convergence (1998)","DOI":"10.1007\/BFb0027170"}],"container-title":["Studies in Computational Intelligence","Oppositional Concepts in Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70829-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:10:37Z","timestamp":1605762637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70829-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708261","9783540708292"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70829-2_5","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}