{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:43:07Z","timestamp":1725489787000},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425366"},{"type":"electronic","value":"9783540447955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44795-4_1","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T06:35:10Z","timestamp":1187159710000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["An Axiomatic Approach to Feature Term Generalization"],"prefix":"10.1007","author":[{"given":"Hassan","family":"A\u00eft-Kaci","sequence":"first","affiliation":[]},{"given":"Yutaka","family":"Sasaki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"Hassan A\u00eft-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"issue":"3\u20134","key":"1_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Towards a meaning of LIFE. Logic Program., 16(3\u20134): 195\u2013234, July-August 1993.","journal-title":"Logic Program"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0743-1066(96)00053-2","volume":"30","author":"H. A\u00eft-Kaci","year":"1997","unstructured":"Hassan A\u00eft-Kaci, Andreas Podelski, and Seth Copen Goldstein. Order-sorted feature theory unification. Journal of Logic Programming, 30(2):99\u2013124, 1997.","journal-title":"Journal of Logic Programming"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Franz Baader, Ralf Kusters and Ralf Molitor. Computing Least Common Sub-sumers in Description Logics with Existential Restrictions. Proccedings of the Sixteenth International Joint Conference on Artificial Intelligence, pages 96\u2013101, 1999.","DOI":"10.25368\/2022.85"},{"key":"1_CR5","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"B. Carpenter","year":"1992","unstructured":"Bob Carpenter. The Logic of Typed Feature Structures, volume 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1992."},{"key":"1_CR6","unstructured":"Alan M. Frisch and C. David Page Jr. Generalization with taxonomic information. In Proceedings of the 8th National Conference on Arti-cial Intelligence, pages 755\u2013761, Boston, MA, 1990. AAAI-90."},{"key":"1_CR7","unstructured":"Alan M. Frisch. A general framework for sorted deduction: Fundamental results on hybrid reasoning. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 126\u2013136, 1989."},{"key":"1_CR8","unstructured":"Nada Lavra\u010d and Sa\u0161o D\u017eeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Enric Plaza. Cases as terms: A feature term approach to the structured representation of cases. In Proceedings of the 1st International Conference on Case-Based Reasoning, pages 263\u201327, 1995.","DOI":"10.1007\/3-540-60598-3_24"},{"key":"1_CR10","unstructured":"Gordon Plotkin. A note on inductive generalization. In Machine Intelligence, pages 153\u2013163. Edinburgh University Press, 1969."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Yutaka Sasaki. Induction of logic programs based on \u03a8-terms. In Proceedings of the 10th International Conference on Algorithmic Learning Theory, pages 169\u2013181, Tokyo, Japan, 1999. ALT-99, Springer-Verlag LNAI 1720.","DOI":"10.1007\/3-540-46769-6_14"},{"key":"1_CR12","volume-title":"Hierarchically Sorted Inductive Logic Programming and Its Application to Information Extraction","author":"Y. Sasaki","year":"2000","unstructured":"Yutaka Sasaki. Hierarchically Sorted Inductive Logic Programming and Its Application to Information Extraction. Ph.D thesis, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan, September 2000."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44795-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:54:43Z","timestamp":1684007683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44795-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8,30]]},"ISBN":["9783540425366","9783540447955"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44795-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001,8,30]]}}}