{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:42Z","timestamp":1725891342135},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_32","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T05:29:37Z","timestamp":1182835777000},"page":"364-366","source":"Crossref","is-referenced-by-count":3,"title":["Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs"],"prefix":"10.1007","author":[{"given":"Alexandros","family":"Chortaras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Stafylopatis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/11840930_5","volume-title":"Artificial Neural Networks \u2013 ICANN 2006","author":"A. Chortaras","year":"2006","unstructured":"Chortaras, A., Stamou, G., Stafylopatis, A.: Adaptation of weighted fuzzy programs. In: Kollias, S., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol.\u00a04132, pp. 45\u201354. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Medina, J., Ojeda Aciego, M.: A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations. In: FUZZ\u201906: International Conference on Fuzzy Systems, pp. 9576\u20139583 (2006)","key":"32_CR2","DOI":"10.1109\/FUZZY.2006.1681978"},{"issue":"4","key":"32_CR3","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLD resolution with tabulation. In: Shapiro, E. (ed.) Third International Conference on Logic Programming. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1\u0161","year":"2001","unstructured":"Vojt\u00e1\u0161, P.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0124, 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:09:06Z","timestamp":1605744546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_32","relation":{},"subject":[]}}