{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:02:36Z","timestamp":1725580956931},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205880"},{"type":"electronic","value":"9783642205897"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20589-7_7","type":"book-chapter","created":{"date-parts":[[2011,4,19]],"date-time":"2011-04-19T05:11:00Z","timestamp":1303189860000},"page":"102-116","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Reasoning for Cooperative Agents"],"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":"7_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., et al. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"7_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. The MIT Press, Cambridge (1994)"},{"key":"7_CR3","series-title":"LNAI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61488-5","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS (LNAI), vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"7_CR4","unstructured":"http:\/\/www.psych.utoronto.ca\/museum\/baldwin.htm"},{"key":"7_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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.N.: Probabilistic Reasoning With Answer Sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 21\u201333. Springer, Heidelberg (2003)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","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"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/B978-1-4832-1452-8.50151-2","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":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"7_CR9","first-page":"849","volume-title":"Procs. of the 11th Intl. Joint Conf. on Artificial Intelligence","author":"L. Raedt De","year":"1989","unstructured":"De Raedt, L., Bruynooghe, M.: Towards friendly concept-learners. In: Procs. of the 11th Intl. Joint Conf. on Artificial Intelligence, pp. 849\u2013856. Morgan Kaufmann, San Francisco (1989)"},{"key":"7_CR10","unstructured":"De Raedt, L., Bruynooghe, M.: On negation and three-valued logic in interactive concept learning. In: Procs. of the 9th European Conf. on Artificial Intelligence (1990)"},{"issue":"2","key":"7_CR11","first-page":"107","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"},{"issue":"2","key":"7_CR12","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."},{"key":"7_CR13","volume-title":"Abductive and Inductive Reasoning, Pure and Applied Logic","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":"7_CR14","first-page":"1070","volume-title":"Procs. 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.) Procs. of the 5th Int. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"2","key":"7_CR15","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":"7_CR16","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) ISBN 0-471-32420-5"},{"key":"7_CR17","unstructured":"Greiner, R., Grove, A.J., Roth, D.: Learning active classifiers. In: Procs. of the Thirteenth Intl. Conf. on Machine Learning, ICML 1996 (1996)"},{"key":"7_CR18","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":"7_CR19","first-page":"176","volume-title":"Procs. of the 15th Intl. Joint Conf. on Artificial Intelligence","author":"K. Inoue","year":"1997","unstructured":"Inoue, K., Kudoh, Y.: Learning extended logic programs. In: Procs. of the 15th Intl. Joint Conf. on Artificial Intelligence, pp. 176\u2013181. Morgan Kaufmann, San Francisco (1997)"},{"key":"7_CR20","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":"7_CR21","unstructured":"Lamarck, J.B.: \n                    \n                      http:\/\/www.ucmp.berkeley.edu\/history\/lamarck.html"},{"key":"7_CR22","unstructured":"Grefenstette, J.J.: Lamarckian learning in multi-agent environments (1991)"},{"key":"7_CR23","unstructured":"Lamma, E., Riguzzi, F., Pereira, L.M.: Learning in a three-valued setting. In: Procs. of the Fourth Intl. Workshop on Multistrategy Learning (1988)"},{"issue":"3","key":"7_CR24","doi-asserted-by":"publisher","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":"7_CR25","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":"7_CR26","first-page":"273","volume-title":"Procs. of the 9th Intl. 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.) Procs. of the 9th Intl. Workshop on Machine Learning, pp. 273\u2013281. Morgan Kaufmann, San Francisco (1992)"},{"key":"7_CR27","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood (1994)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Pazzani, M.J., Merz, C., Murphy, P., Ali, K., Hume, T., Brunk, C.: Reducing misclassification costs. In: Procs. of the Eleventh Intl. Conf. on Machine Learning (ML 1994), pp. 217\u2013225 (1994)","DOI":"10.1016\/B978-1-55860-335-6.50034-9"},{"key":"7_CR29","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 \u2013 A semantics for logic programs. In: Dias, G., et al. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 29\u201342. Springer, Heidelberg (2005)"},{"key":"7_CR30","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":"7_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-540-75560-9_33","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L.M. Pereira","year":"2007","unstructured":"Pereira, L.M., Pinto, A.M.: Approved Models for Normal Logic Programs. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 454\u2013468. Springer, Heidelberg (2007)"},{"key":"7_CR32","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":"7_CR33","volume-title":"Procs. of the Third Intl. Conf. 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: Procs. of the Third Intl. Conf. on Knowledge Discovery and Data Mining (KDD 1997). AAAI Press, Menlo Park (1997)"},{"key":"7_CR34","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":"7_CR35","unstructured":"Vere, S.A.: Induction of concepts in the predicate calculus. In: Procs. of the Fourth Intl. Joint Conf. on Artificial Intelligence (IJCAI 1975), pp. 281\u2013287 (1975)"},{"key":"7_CR36","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":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20589-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T04:19:29Z","timestamp":1558585169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20589-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205880","9783642205897"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20589-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}