{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:16:25Z","timestamp":1725567385855},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666455"},{"type":"electronic","value":"9783540480617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48061-7_37","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T06:52:21Z","timestamp":1287039141000},"page":"304-313","source":"Crossref","is-referenced-by-count":0,"title":["Incorporating Fuzzy Set Theory and Matrix Logic in Multi-layer Logic"],"prefix":"10.1007","author":[{"given":"Hiroyuki","family":"Yamauchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Setsuo","family":"Ohsuga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0013954","volume-title":"Reasoning with Uncertainty in Robotics","year":"1996","unstructured":"Voorbraak, F. (ed.): RUR 1995. LNCS, vol.\u00a01093, pp. 52\u201389. Springer, Heidelberg (1996)"},{"key":"37_CR2","unstructured":"Kyburg Jr., H.E.: Uncertain Inferences and Uncertain Conclusions. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing, pp. 365\u2013372. Research Studies Press Ltd., Hertfordshire (1998)"},{"key":"37_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-2084-5","volume-title":"Representing Uncertain Knowledge","author":"P. Krause","year":"1993","unstructured":"Krause, P., Clark, D.: Representing Uncertain Knowledge. Kluwer Academic, Boston (1993)"},{"key":"37_CR4","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy Sets. Information and control\u00a08, 338\u2013353 (1965)","journal-title":"Information and control"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Ohsuga, S., Yamauchi, H.: Multi-layer Logic - A predicate logic including data structure as knowledge representation language. New Generation Computing\u00a03 (1985)","DOI":"10.1007\/BF03037079"},{"key":"37_CR6","unstructured":"Yamauchi, H., Ohsuga, S.: Modelling Objects by Extensions and Intensions - A Theoretical Background of KAUS. In: Ohsuga, S., et al. (eds.) Information Modelling and Knowledge Bases III. IOS Press, Amsterdam (1992)"},{"key":"37_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Sets and Structures. Springer, Heidelberg (1975)"},{"key":"37_CR8","unstructured":"Yamauchi, H., Ohsuga, S.: KAUS as a tool for model building and evaluation. In: Proc. 5th Internat. Workshop Expert Systems and their Applications (1985)"},{"key":"37_CR9","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/S0950-7051(98)00032-X","volume":"10","author":"S. Ohsuga","year":"1998","unstructured":"Ohsuga, S.: Toward truly intelligent information systems - from expert systems to automatic programming. Knowledge-Based Systems\u00a010, 363\u2013396 (1998)","journal-title":"Knowledge-Based Systems"},{"key":"37_CR10","unstructured":"Yamauchi, H.: KAUS User\u2019s Manual Version 6.502 (1999)"},{"key":"37_CR11","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)"},{"key":"37_CR12","volume-title":"Fuzzy Sets and Systems: Theory and Applications","author":"D. Dubois","year":"1980","unstructured":"Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, London (1980)"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0020-0255(98)10023-3","volume":"109","author":"Y.Y. Yao","year":"1998","unstructured":"Yao, Y.Y.: A comparative study of fuzzy sets and rough sets. Information Science\u00a0109, 227\u2013242 (1998)","journal-title":"Information Science"},{"key":"37_CR14","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/B978-1-4832-1450-4.50060-2","volume-title":"Readings in Fuzzy Sets for Intelligent Systems","author":"P. Magrez","year":"1993","unstructured":"Magrez, P., Smets, P.: Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligent Systems, pp. 565\u2013574. Morgan Kaufmann, San Francisco (1993)"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Lee, R.C.T.: Fuzzy Logic and the Resolution Principle. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligenct Systems, pp. 442\u2013452. Morgan Kaufmann, San Francisco (1993)","DOI":"10.1016\/B978-1-4832-1450-4.50049-3"},{"key":"37_CR16","unstructured":"Fontana, F.A., Formato, F., Gerla, G.: Fuzzy Unification as a Foundation of Fuzzy Logic Programming. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)"},{"key":"37_CR17","unstructured":"Xu-Han, Shi, S.-L: Fuzzy Reasoning with Fuzzy Quantifiers. In: Proceedings of IEEE International Symposium on Multiple Valued Logic, Washington DC, USA, pp. 36\u201340 (1989)"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., Sandri, S.A.: Possibilistic Logic with Fuzzy Constants and Fuzzy Restricted Quantifiers. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)","DOI":"10.1007\/978-1-4615-5261-1_1"},{"key":"37_CR19","unstructured":"Baldwin, J.F., Martin, T.P.: The Management of Uncertainty in Logic Programs using Fril. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)"},{"key":"37_CR20","first-page":"454","volume-title":"Readings in Fuzzy Sets for Intelligenct Systems","author":"M. Mukaidono","year":"1993","unstructured":"Mukaidono, M., Shen, Z., Ding, L.: Fundamentals of Fuzzy Prolog. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligenct Systems, pp. 454\u2013460. Morgan Kaufmann, San Francisco (1993)"},{"key":"37_CR21","unstructured":"Hajek, P., Godo, L., Esteva, F.: Fuzzy Logic and Probability. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing, pp. 237\u2013244. Research Studies Press Ltd., Hertfordshire (1998)"},{"key":"37_CR22","volume-title":"Probabilistic Reasoning in Intelligenct Systems","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligenct Systems. Morgan Kaufmann, San Francisco (1988)"},{"key":"37_CR23","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"N.. Raymond","year":"1992","unstructured":"Raymond, N., Subrahmanian, V.S.: Probabilistic Logic Programming. Information and Computation\u00a0101, 150\u2013201 (1992)","journal-title":"Information and Computation"},{"key":"37_CR24","unstructured":"Stern, A.: Matrix Logic and Mind. North-Holland\/Elsevier (1992)"},{"key":"37_CR25","volume-title":"Fuzzy Logic & Neurofuzzy Applications Explained","author":"C. Altrock von","year":"1995","unstructured":"von Altrock, C.: Fuzzy Logic & Neurofuzzy Applications Explained. Prentice Hall, Englewood Cliffs (1995)"}],"container-title":["Lecture Notes in Computer Science","New Directions in Rough Sets, Data Mining, and Granular-Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48061-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T12:56:11Z","timestamp":1559739371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48061-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666455","9783540480617"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48061-7_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}