{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:11Z","timestamp":1725550571596},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292302"},{"type":"electronic","value":"9783540316985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563983_31","type":"book-chapter","created":{"date-parts":[[2005,10,22]],"date-time":"2005-10-22T08:50:07Z","timestamp":1129971007000},"page":"354-362","source":"Crossref","is-referenced-by-count":1,"title":["CLASSIC\u2019CL: An Integrated ILP System"],"prefix":"10.1007","author":[{"given":"Christian","family":"Stolle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Karwath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"31_CR1","first-page":"285","volume":"101","author":"H. Blockeel","year":"1998","unstructured":"Blockeel, H., De Raedt, L.: Top-down induction of first order logical decision trees. AI\u00a0101(1-2), 285\u2013297 (1998)","journal-title":"AI"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.924","volume":"16","author":"H. Blockeel","year":"2002","unstructured":"Blockeel, H., Dehaspe, B., Demoen, L., Janssens, G.: Improving the efficiency of inductive logic programming through the use of query packs. JAIR\u00a016, 135\u2013166 (2002)","journal-title":"JAIR"},{"key":"31_CR3","unstructured":"Blockeel, H., Dehaspe, L., Ramon, J., Struyf, J.: Ace - a combined system"},{"issue":"1","key":"31_CR4","first-page":"187","volume":"95","author":"L. De Raedt","year":"1997","unstructured":"De Raedt, L.: Logical settings for concept-learning. AI\u00a095(1), 187\u2013201 (1997)","journal-title":"AI"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. De Raedt","year":"1997","unstructured":"De Raedt, L., Dehaspe, L.: Clausal discovery. Machine Learning\u00a026, 99\u2013146 (1997)","journal-title":"Machine Learning"},{"key":"31_CR6","unstructured":"De Raedt, L., Ramon, J.: Condensed representations for inductive logic programming. In: KR 2004, pp. 438\u2013446 (2004)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Algorithmic Learning Theory","author":"L. De Raedt","year":"1995","unstructured":"De Raedt, L., Van Laer, W.: Inductive constraint logic. In: Zeugmann, T., Shinohara, T., Jantke, K.P. (eds.) ALT 1995. LNCS, vol.\u00a0997. Springer, Heidelberg (1995)"},{"key":"31_CR8","unstructured":"Dehaspe, L.: Frequent Pattern Discovery in First-Order Logic. K. U. Leuven (December 1998)"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Kersting, K.K., Raiko, T., Kramer, S., De Raedt, L.: Towards discovering structural signatures of protein folds based on logical hidden markov models. In: PSB 2003, pp. 192\u2013203 (2003)","DOI":"10.1142\/9789812776303_0019"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1073\/pnas.93.1.438","volume":"93","author":"R.D. King","year":"1996","unstructured":"King, R.D., Muggleton, S., Srinivasan, A., Sternberg, M.J.E.: Structure-activity relationships derived by machine learning: The use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. PNAS\u00a093, 438\u2013442 (1996)","journal-title":"PNAS"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery\u00a01 (1997)","DOI":"10.1023\/A:1009796218281"},{"issue":"3-4","key":"31_CR12","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"},{"issue":"20","key":"31_CR13","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"17","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic programming\u00a017(20), 629\u2013679 (1994)","journal-title":"Journal of Logic programming"},{"key":"31_CR14","unstructured":"Muggleton, S., King, R.D., Sternberg, M.J.E.: Protein secondary structure prediction using logic. In: Muggleton, S. (ed.) ILP 1992, pp. 228\u2013259 (1992) Report ICOT TM-1182"},{"key":"31_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-540-30109-7_21","volume-title":"Inductive Logic Programming","author":"F. Riguzzi","year":"2004","unstructured":"Riguzzi, F.: Learning logic programs with annotated disjunctions. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol.\u00a03194, pp. 270\u2013287. Springer, Heidelberg (2004)"},{"key":"31_CR16","unstructured":"Srinivasan, A.: The aleph manual"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. Technical report cw386, K.U. Leuven (2003)","DOI":"10.1007\/978-3-540-27775-0_30"}],"container-title":["Lecture Notes in Computer Science","Discovery Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563983_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T12:55:35Z","timestamp":1586523335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563983_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292302","9783540316985"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11563983_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}