{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:28:37Z","timestamp":1752229717925},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_16","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"300-321","source":"Crossref","is-referenced-by-count":44,"title":["A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Semeraro","sequence":"first","affiliation":[]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[]},{"given":"Donato","family":"Malerba","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Fanizzi","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Ferilli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., and Tanca, L.: Logic Programming and Databases. Springer-Verlag, Berlin Heidelberg New York (1990)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/ICDAR.1993.395653","volume-title":"Proceedings of the 2nd International Conference on Document Analysis and Recognition ICDAR93","author":"F. Esposito","year":"1993","unstructured":"Esposito, F., Malerba, D., and Semeraro, G.: Automated Acquisition of Rules for Document Understanding. Proceedings of the 2nd International Conference on Document Analysis and Recognition ICDAR93. IEEE Computer Society Press, Los Alamitos, CA (1993) 650\u2013654"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1080\/08839519408945432","volume":"8","author":"F. Esposito","year":"1994","unstructured":"Esposito, F., Malerba, D., and Semeraro, G.: Multistrategy Learning for Document Recognition. Applied Artificial Intelligence: An Int. J. 8 (1994) 33\u201384","journal-title":"Applied Artificial Intelligence: An Int. J."},{"key":"16_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-58495-1_38","volume-title":"Methodologies for Intelligent Systems","author":"F. Esposito","year":"1994","unstructured":"Esposito, F., Malerba, D., Semeraro, G., Brunk, C., and Pazzani, M.: Traps and Pitfalls when Learning Logical Definitions from Relations. In: Ras, Z.W., Zemankova, M. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 869. Springer-Verlag, Berlin Heidelberg New York (1994) 376\u2013385"},{"key":"16_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/3-540-61286-6_171","volume-title":"Foundations of Intelligent Systems","author":"F. Esposito","year":"1996","unstructured":"Esposito, F., Laterza, A., Malerba, D., and Semeraro, G.: Locally Finite, Proper and Complete Operators for Refining Datalog Programs. In: Ras, Z.W., Michalewicz, M. (eds.): Foundations of Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 1079. Springer-Verlag, Berlin Heidelberg New York (1996) 468\u2013478"},{"key":"16_CR6","unstructured":"Hayes-Roth, F., and McDermott, J.: Knowledge acquisition from structural descriptions. Proceed. of the 5th International Joint Conference on AI. Cambridge, MA (1977) 356\u2013362"},{"key":"16_CR7","first-page":"149","volume-title":"Progress in Machine Learning","author":"N. Helft","year":"1987","unstructured":"Helft, N.: Inductive Generalization: A Logical Framework. In: Bratko, I., Lavrac, N. (eds.): Progress in Machine Learning. Sigma Press, Wilmslow (1987) 149\u2013157"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., and Maher, M.J.: Constraint Logic Programming: a Survey. J. Logic Programming 19 (1994) 503\u2013581","journal-title":"J. Logic Programming"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.C.: Elements of Relational Database Theory. In: Van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics. Elsevier Science Publishers (1990) 1073\u20131156","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"16_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/3-540-58495-1_32","volume-title":"Methodologies for Intelligent Systems","author":"J. Komorowski","year":"1994","unstructured":"Komorowski, J., and Trcek, S.: Towards Refinement of Definite Logic Programs. In: Ras, Z.W., Zemankova, M. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 869. Springer-Verlag, Berlin Heidelberg New York (1994) 315\u2013325"},{"key":"16_CR11","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-Verlag, Berlin Heidelberg New York (1987)","edition":"2nd edn."},{"key":"16_CR12","volume-title":"Vital Statistics","author":"M. Orkin","year":"1990","unstructured":"Orkin, M., and Drogin, R.: Vital Statistics. McGraw-Hill, New York (1990)"},{"key":"16_CR13","unstructured":"Plotkin, G.D.: A Note on Inductive Generalization. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 5. Edinburgh University Press (1970) 153\u2013163"},{"key":"16_CR14","unstructured":"Plotkin, G.D.: Building-in Equational Theories. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 7. Edinburgh University Press (1972) 73\u201390"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: Equality and domain closure in first order databases. J. ACM 27 (1980) 235\u2013249","journal-title":"J. ACM"},{"key":"16_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/3-540-58792-6_12","volume-title":"Logic Program Synthesis and Transformation-Meta-Programming in Logic","author":"G. Semeraro","year":"1994","unstructured":"Semeraro, G., Esposito, F., Malerba, D., Brunk, C., and Pazzani, M.: Avoiding Non-Termination when Learning Logic Programs: A Case Study with FOIL and FOCL. In: Fribourg, L., Turini, F. (eds.): Logic Program Synthesis and Transformation-Meta-Programming in Logic. Lecture Notes in Computer Science, Vol. 883. Springer-Verlag, Berlin Heidelberg New York (1994) 183\u2013198"},{"key":"16_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-60437-5_36","volume-title":"Topics in Artificial Intelligence","author":"G. Semeraro","year":"1995","unstructured":"Semeraro, G., Esposito, F., Fanizzi, N., and Malerba, D.: Revision of Logical Theories. In: Gori, M., Soda, G. (eds.): Topics in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 992. Springer-Verlag, Berlin Heidelberg New York (1995) 365\u2013376"},{"key":"16_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-60939-3_9","volume-title":"Logic Program Synthesis and Transformation","author":"G. Semeraro","year":"1996","unstructured":"Semeraro, G., Esposito, F., and Malerba, D.: Ideal Refinement of Datalog Programs. In: Proietti, M. (ed.): Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, Vol. 1048. Springer-Verlag, Berlin Heidelberg New York (1996) 120\u2013136"},{"key":"16_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BFb0026729","volume-title":"Research and Advanced Technology for Digital Libraries","author":"G. Semeraro","year":"1997","unstructured":"Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., and Ferilli, S.: Machine Learning + On-line Libraries = IDL. In: Peters, C., Thanos, C. (eds.): Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science, Vol. 1324. Springer-Verlag, Berlin Heidelberg New York (1997) 195\u2013214"},{"key":"16_CR20","unstructured":"van der Laag, P.R.J., and Nienhuys-Cheng, S.-H.: A Note on Ideal Refinement Operators in Inductive Logic Programming. In: Wrobel, S. (ed.): Proceedings of the Fourth International Workshop on Inductive Logic Programming ILP-94. GMD-Studien Nr. 237 (1994) 247\u2013260"},{"key":"16_CR21","series-title":"Lecture Notes in Artificial Intelligence","first-page":"307","volume-title":"Machine Learning: ECML-94-Proceedings of the European Conference on Machine Learning","author":"P.R.J. Laag van der","year":"1994","unstructured":"van der Laag, P.R.J., and Nienhuys-Cheng, S.-H.: Existence and Nonexistence of Complete Refinement Operators. In: Bergadano, F., De Raedt, L. (eds.): Machine Learning: ECML-94-Proceedings of the European Conference on Machine Learning. Lecture Notes in Artificial Intelligence, Vol. 784. Springer-Verlag, Berlin Heidelberg New York (1994) 307\u2013322"},{"key":"16_CR22","unstructured":"van der Laag, P.R.J.: An Analysis of Refinement Operators in Inductive Logic Programming. Ph.D. dissertation, Tinbergen Institute Research Series (1995)"},{"key":"16_CR23","first-page":"99","volume":"4","author":"K. VanLehn","year":"1989","unstructured":"VanLehn, K.: Efficient Specialization of Relational Concepts. Machine Learning 4 (1989) 99\u2013106","journal-title":"Machine Learning"},{"key":"16_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/3-540-56602-3_128","volume-title":"Machine Learning: ECML-93-Proceedings of the European Conference on Machine Learning","author":"S. Wrobel","year":"1993","unstructured":"Wrobel, S.: On the proper definition of minimality in specialization and theory revision. In: Brazdil, P.B. (ed.): Machine Learning: ECML-93-Proceedings of the European Conference on Machine Learning. Lecture Notes in Artificial Intelligence, Vol. 667. Springer-Verlag, Berlin Heidelberg New York (1993) 65\u201382"},{"key":"16_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2317-5","volume-title":"Concept Formation and Knowledge Revision","author":"S. Wrobel","year":"1994","unstructured":"Wrobel, S.: Concept Formation and Knowledge Revision. Kluwer Academic Publishers, Dordrecht Boston London (1994)"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T01:17:45Z","timestamp":1550798265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}