{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:16Z","timestamp":1725560176044},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281771"},{"type":"electronic","value":"9783540318514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11536314_7","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:45:23Z","timestamp":1279737923000},"page":"103-120","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Induction of Abduction and Abstraction Theories from Observations"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teresa M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Di Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"The Handbook of Artificial Intelligence","author":"P.R. Cohen","year":"1981","unstructured":"Cohen, P.R., Feigenbaum, E.A.: The Handbook of Artificial Intelligence, vol.\u00a03. Morgan Kaufmann, San Francisco (1981)"},{"key":"7_CR2","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":"7_CR3","unstructured":"Dimopoulos, Y., D\u017eeroski, S., Kakas, A.: Integrating explanatory and descriptive learning in ILP. In: Proceedings of IJCAI 1997, pp. 900\u2013906 (1997)"},{"key":"7_CR4","first-page":"144","volume-title":"Advances in Inductive Logic Programming","author":"Y. Dimopoulos","year":"1996","unstructured":"Dimopoulos, Y., Kakas, A.: Abduction and learning. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 144\u2013171. IOS Press, Amsterdam (1996)"},{"issue":"8\/9","key":"7_CR5","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1080\/713827255","volume":"17","author":"F. Esposito","year":"2003","unstructured":"Esposito, F., Ferilli, S., Fanizzi, N., Basile, T.M.A., Di Mauro, N.: Incremental multistrategy learning for document processing. Applied Artificial Intelligence: An Internationa Journal\u00a017(8\/9), 859\u2013883 (2003)","journal-title":"Applied Artificial Intelligence: An Internationa Journal"},{"key":"7_CR6","unstructured":"Esposito, F., Lamma, E., Malerba, D., Mello, P., Milano, M., Riguzzi, F., Semeraro, G.: Learning abductive logic programs. In: Proceedings of the ECAI 1996 Workshop on Abductive and Inductive Reasoning (1996)"},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-30109-7_12","volume-title":"Inductive Logic Programming","author":"S. Ferilli","year":"2004","unstructured":"Ferilli, S., Esposito, F., Basile, T.M.A., Di Mauro, N.: Automatic induction of first-order logic descriptors type domains from observations. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol.\u00a03194, pp. 116\u2013131. Springer, Heidelberg (2004)"},{"issue":"1\/2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1007656703224","volume":"42","author":"P.A. Flach","year":"2001","unstructured":"Flach, P.A., Lachiche, N.: Confirmation-guided discovery of first-order rules with Tertius. Machine Learning\u00a042(1\/2), 61\u201395 (2001)","journal-title":"Machine Learning"},{"key":"7_CR9","first-page":"142","volume-title":"Proceedings of the 8th International Workshop on Machine Learning","author":"A. Giordana","year":"1991","unstructured":"Giordana, A., Roverso, D., Saitta, L.: Abstracting concepts with inverse resolution. In: Proceedings of the 8th International Workshop on Machine Learning, Evanston, IL, pp. 142\u2013146. Morgan Kaufmann, San Francisco (1991)"},{"issue":"6","key":"7_CR10","first-page":"718","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 718\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR11","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of ECAI 1990, pp. 385\u2013391. Pitman Publishing (1990)"},{"key":"7_CR12","unstructured":"Kakas, A.C., Mancarella, P.: On the relation of truth maintenance and abduction. In: Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, Nagoya, Japan (1990)"},{"key":"7_CR13","unstructured":"Kietz, J.-U., Wrobel, S.: Controlling the complexity of learning in logic through syntactic and task-oriented models. In: Muggleton, S. (ed.) ILP 1991, pp. 107\u2013126 (1991)"},{"key":"7_CR14","volume-title":"Abductive and Inductive Reasoning: Essays on their Relation and Integration","author":"E. Lamma","year":"2000","unstructured":"Lamma, E., Mello, P., Milano, M., Riguzzi, F., Esposito, F., Ferilli, S., Semeraro, G.: Cooperation of abduction and induction in logic programming. In: Kakas, A., Flach, P. (eds.) Abductive and Inductive Reasoning: Essays on their Relation and Integration. Kluwer, Dordrecht (2000)"},{"key":"7_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"7_CR16","first-page":"3","volume-title":"Machine Learning. A Multistrategy Approach","author":"R.S. Michalski","year":"1994","unstructured":"Michalski, R.S.: Inferential theory of learning. developing foundations for multistrategy learning. In: Michalski, R.S., Tecuci, G. (eds.) Machine Learning. A Multistrategy Approach, vol.\u00a0IV, pp. 3\u201361. Morgan Kaufmann, San Francisco (1994)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S.H. Muggleton","year":"1994","unstructured":"Muggleton, S.H., De Raedt, L.: Inductive logic programming. Journal of Logic Programming: Theory and Methods\u00a019, 629\u2013679 (1994)","journal-title":"Journal of Logic Programming: Theory and Methods"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. Raedt De","year":"1997","unstructured":"De Raedt, L., Dehaspe, L.: Clausal discovery. Machine Learning\u00a026(2), 99\u2013146 (1997)","journal-title":"Machine Learning"},{"key":"7_CR19","first-page":"122","volume-title":"Proceedings of ICML 1997","author":"C. Rouveirol","year":"1990","unstructured":"Rouveirol, C., Puget, J.: Beyond inversion of resolution. In: Proceedings of ICML 1997, Austin, TX, pp. 122\u2013130. Morgan Kaufmann, San Francisco (1990)"},{"issue":"5","key":"7_CR20","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/0306-4573(88)90021-0","volume":"24","author":"G. Salton","year":"1988","unstructured":"Salton, G., Buckley, C.: Term-weighting approaches in automatic text retrieval. Information Processing and Management\u00a024(5), 513\u2013523 (1988)","journal-title":"Information Processing and Management"},{"key":"7_CR21","unstructured":"Srinivasan, A.: The aleph manual version 4 (2003), \n                    \n                      http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph\/"},{"key":"7_CR22","first-page":"107","volume-title":"Machine Learning: an artificial intelligence approach","author":"P.E. Utgoff","year":"1986","unstructured":"Utgoff, P.E.: Shift of bias for inductive concept learning. In: Michalski, R.S., Carbonell, J.G., Mitchell, T.M. (eds.) Machine Learning: an artificial intelligence approach, vol.\u00a0II, pp. 107\u2013148. Morgan Kaufmann, Los Altos (1986)"},{"key":"7_CR23","unstructured":"Zucker, J.-D.: Semantic abstraction for concept representation and learning. In: Michalski, R.S., Saitta, L. (eds.) Proceedings of the 4th International Workshop on Multistrategy Learning, pp. 157\u2013164 (1998)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11536314_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:42Z","timestamp":1605643902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11536314_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281771","9783540318514"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11536314_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}