{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:08Z","timestamp":1725663848630},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539193"},{"type":"electronic","value":"9783540463986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53919-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:41Z","timestamp":1330208261000},"page":"23-37","source":"Crossref","is-referenced-by-count":0,"title":["The classification and boundary problem"],"prefix":"10.1007","author":[{"given":"Jinsei","family":"Yamaguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","unstructured":"Hanks,S. and McDermott,D., \u201cDefault Reasoning, Nonmonotonic Logic, and the Frame Problem\u201d, Proc. of AAAI-86, 328\u2013333, 1986."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., \u201cCircumscription: A Form of Non-monotonic Reasoning\u201d, Artif.Intell., Vol.13, 27\u201339, 1980.","journal-title":"Artif.Intell."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. and Doyle, J., \u201cNon-monotonic Logic I\u201d, Artif.Intell., Vol.13, 41\u201372, 1980.","journal-title":"Artif.Intell."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., \u201cA Logic for Default Reasoning\u201d, Artif.Intell., Vol.13, 81\u2013132, 1980.","journal-title":"Artif.Intell."},{"key":"2_CR5","unstructured":"Yamaguchi,J., \u201cBoolean-valued Logic Programming Language Paradigm: LIFE-\u03a9 \u2014 Philosophical Background \u2014\u201d, NEC LR-5196, 1987."},{"key":"2_CR6","unstructured":"Yamaguchi,J., \u201cBoolean-valued Logic Programming Language Paradigm: LIFE-\u03a9 \u2014 Theoretical Background of LIFE-I, II, III \u2014\u201d, NEC LR-5197, 1987."},{"key":"2_CR7","unstructured":"Yamaguchi,J., \u201cLogical Completeness of LIFE-II and LIFE-III and Its Applications to the Foundation of Logic Programming\u201d, NEC LR-5346, 1987."},{"key":"2_CR8","unstructured":"Yamaguchi,J., \u201cUniversal Unification from a Viewpoint of LIFE-II\u201d, NE C LR-5347, 1987."},{"key":"2_CR9","unstructured":"Yamaguchi,J., \u201cBoolean-valued Logic Programming Language Scheme:LIFE-III \u2014 A Summary\u2014\u201d, NEC LR-5357, 1988."},{"key":"2_CR10","unstructured":"Yamaguchi,J., \u201cTwo-lane Unification and A.B.F.E.-unification \u2014 One Step Toward an Application of LIFE-II \u2014\u201d, NEC LR-5426, 1988."},{"key":"2_CR11","unstructured":"Yamaguchi,J., \u201cF-LIFE: A L-fuzzy Inferential System\u201d, NEC LR-5544, 1988."},{"key":"2_CR12","unstructured":"Yamaguchi,J., \u201cBoolean-valued Logic Programming Language Scheme:LIF E-III [1]Inferentially Transforming Logic Programs\u201d, (in Japanese)5th Conference Proceedings Japan Soc.Software Sci.&Tech., 1988, 237\u2013240."},{"key":"2_CR13","unstructured":"Yamaguchi,J., \u201cBoolean-valued Logic Programming Language Scheme:LIF E-III [2]A Technique to Execute a Logic Program Efficiently\u201d, (in Japanese)5th Conference Proceedings Japan Soc.Software Sci.&Tech., 1988, 241\u2013244."},{"key":"2_CR14","unstructured":"Yamaguchi,J., \u201cLIFE-III [3]Relativized Completeness\u201d, Proc. of the 3rd Annual Conference of JSAI, 1989, 33\u201336."},{"key":"2_CR15","unstructured":"Yamaguchi,J., \u201cLIFE-III [4]A Fuzzy Inferential System\u201d, (in Japanese) 6th Conference Proceedings Japan Soc.Software Sci.&Tech., 1989, 121\u2013124."}],"container-title":["Lecture Notes in Computer Science","Logic Programming '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53919-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:44Z","timestamp":1619572604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53919-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539193","9783540463986"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-53919-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}