{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:24:06Z","timestamp":1725492246391},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714408"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71441-5_58","type":"book-chapter","created":{"date-parts":[[2007,7,5]],"date-time":"2007-07-05T17:14:41Z","timestamp":1183655681000},"page":"534-542","source":"Crossref","is-referenced-by-count":0,"title":["The Theory of Fuzzy Logic Programming"],"prefix":"10.1007","author":[{"given":"Dong-Bo","family":"Liu","sequence":"first","affiliation":[]},{"given":"Zheng-Ding","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","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. J. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"J. Information and Control"},{"key":"58_CR2","first-page":"569","volume-title":"Information Processing 74, Proceedings of IFIP congress 74","author":"R.A. Kowalski","year":"1974","unstructured":"Kowalski, R.A.: Predicate logic as programming language. In: Rosenfeld, J.L. (ed.) Information Processing 74, Proceedings of IFIP congress 74, Stockholm, pp. 569\u2013574. North-Holland, Amsterdam (1974)"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"Liu, D.B., Li, D.Y.: Fuzzy reasoning based on f-Horn clause rules. In: Grabowski, J., Lescanne, P., Wechler, W. (eds.) Algebraic and Logic Programming, Proceedings of 1st Int. Workshop on Algebraic and Logic Programming, Gaussig, GDR, pp. 214\u2013222 (1988)","DOI":"10.1007\/3-540-50667-5_73"},{"key":"58_CR4","volume-title":"A fuzzy PROLOG database system","author":"D.Y. Li","year":"1990","unstructured":"Li, D.Y., Liu, D.B.: A fuzzy PROLOG database system. John Wiley & Sons, New York (1990)"},{"key":"58_CR5","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of logic as a programming language. J. Assoc. Comput. Mach.\u00a023, 733\u2013742 (1976)","journal-title":"J. Assoc. Comput. Mach."},{"key":"58_CR6","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. Assoc. Comput. Mach.\u00a029, 841\u2013862 (1982)","journal-title":"J. Assoc. Comput. Mach."},{"key":"58_CR7","first-page":"59","volume-title":"Machine Intelligence 5","author":"D. Park","year":"1969","unstructured":"Park, D.: Fixpoint induction and proofs of program propreties. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 5, pp. 59\u201378. Edinburgh University Press, Edinburgh (1969)"},{"key":"58_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"1","author":"M.H. Emden van","year":"1986","unstructured":"van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. Logic Programming\u00a01, 37\u201353 (1986)","journal-title":"J. Logic Programming"},{"key":"58_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"1","author":"P. Vojtas","year":"2001","unstructured":"Vojtas, P.: Fuzzy logic programming. J. Fuzzy Sets and Systems\u00a01, 361\u2013370 (2001)","journal-title":"J. Fuzzy Sets and Systems"}],"container-title":["Advances in Soft Computing","Fuzzy Information and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71441-5_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:20:41Z","timestamp":1605763241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71441-5_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714408"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71441-5_58","relation":{},"subject":[]}}