{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:01Z","timestamp":1725487081630},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661092"},{"type":"electronic","value":"9783540487517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48751-4_23","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T21:42:59Z","timestamp":1183412579000},"page":"245-256","source":"Crossref","is-referenced-by-count":9,"title":["Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms"],"prefix":"10.1007","author":[{"given":"Shan-Hwei","family":"Nienhuys-Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wim","family":"Van Laer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ramon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,25]]},"reference":[{"key":"23_CR1","first-page":"187","volume":"95","author":"L. Raedt De","year":"1997","unstructured":"L. De Raedt, Logical settings for concept learning, AI Journal, 95:187\u2013201, 1997.","journal-title":"AI Journal"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. Raedt De","year":"1997","unstructured":"L. De Raedt and L. Dehaspe, Clausal discovery, Machine Learning, 26:99\u2013146, 1997.","journal-title":"Machine Learning"},{"key":"23_CR3","series-title":"LNAI series","volume-title":"Proceedings of ILP96","author":"M. Goncalves","year":"1997","unstructured":"M. Goncalves and C. Froidevaux, A new formalism to integrate quantification in inductive processes, Proceedings of ILP96, S. Muggleton (ed.) Vol. 1314 of LNAI series, 1997, Springer, Berlin."},{"key":"23_CR4","series-title":"LNAI series","volume-title":"Proceedings of ECML94","author":"P. Laag van der","year":"1994","unstructured":"P. van der Laag and S. H. Nienhuys-Cheng, Existence and nonexistence of complete refinement operators, Proceedings of ECML94, Vol. 784 of LNAI series, F. Bergadano and L. De Raedt (eds.). Springer-Verlag, Berlin, 1994."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"J.-M. Nicolas, Logic for Improving Integrity Checking in Relational Data Bases, Informatica, 1982, Springer-Verlag.","DOI":"10.1007\/BF00263192"},{"key":"23_CR6","unstructured":"S. H. Nienhuys-Cheng, W. Van Laer, L. De Raedt, Substitutions and Refinement operator for PCNF, Work Report, EUR-FEW-CS-99-03."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"S. H. Nienhuys-Cheng and R. de Wolf, Foundations of Inductive Logic Programming, LNAI Tutorial 1228, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62927-0"},{"key":"23_CR8","unstructured":"E. Y. Shapiro, Inductive inference of theories from facts. Research Report 192, Yale University, 1981."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48751-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T21:54:58Z","timestamp":1556574898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48751-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661092","9783540487517"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48751-4_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}