{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:05:06Z","timestamp":1725552306605},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540325291"},{"type":"electronic","value":"9783540325307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11676935_8","type":"book-chapter","created":{"date-parts":[[2006,2,14]],"date-time":"2006-02-14T08:53:46Z","timestamp":1139907226000},"page":"61-70","source":"Crossref","is-referenced-by-count":3,"title":["Multi-lattices as a Basis for Generalized Fuzzy Logic Programming"],"prefix":"10.1007","author":[{"given":"Jes\u00fas","family":"Medina","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Ojeda-Aciego","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Ruiz-Calvi\u00f1o","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"80","key":"8_CR1","doi-asserted-by":"crossref","first-page":"308","DOI":"10.21136\/CMJ.1955.100149","volume":"5","author":"M. Benado","year":"1955","unstructured":"Benado, M.: Les ensembles partiellement ordonn\u00e9s et le th\u00e9or\u00e8me de raffinement de Schreier, II. Th\u00e9orie des multistructures. Czech. Math. J.\u00a05(80), 308\u2013344 (1955)","journal-title":"Czech. Math. J."},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/B:AMAI.0000038312.77514.3c","volume":"42","author":"P. Cordero","year":"2004","unstructured":"Cordero, P., Guti\u00e9rrez, G., Mart\u00ednez, J., de Guzm\u00e1n, I.P.: A new algebraic tool for automatic theorem provers. Ann. Math. and Artif. Intelligence\u00a042(4), 369\u2013398 (2004)","journal-title":"Ann. Math. and Artif. Intelligence"},{"key":"8_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-30227-8_23","volume-title":"Logics in Artificial Intelligence","author":"C. Dam\u00e1sio","year":"2004","unstructured":"Dam\u00e1sio, C., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 260\u2013273. Springer, Heidelberg (2004)"},{"key":"8_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-44652-4_66","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C., Pereira, L.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 748\u2013759. Springer, Heidelberg (2001)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0012-365X(81)90263-6","volume":"1","author":"D. Hansen","year":"1981","unstructured":"Hansen, D.: An axiomatic characterization of multi-lattices. Discrete Mathematics\u00a01, 99\u2013101 (1981)","journal-title":"Discrete Mathematics"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1018969519807","volume":"21","author":"M.A. Khamsi","year":"1997","unstructured":"Khamsi, M.A., Misane, D.: Fixed point theorems in logic programming. Ann. Math. and Artif. Intelligence\u00a021, 231\u2013243 (1997)","journal-title":"Ann. Math. and Artif. Intelligence"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L. Lakhsmanan","year":"2001","unstructured":"Lakhsmanan, L., Sadri, F.: On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming\u00a01(1), 5\u201342 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.disc.2004.08.043","volume":"295","author":"J. Mart\u00ednez","year":"2005","unstructured":"Mart\u00ednez, J., Guti\u00e9rrez, G., de Guzm\u00e1n, I.P., Cordero, P.: Generalizations of lattices looking at computation. Discrete Mathematics\u00a0295, 107\u2013141 (2005)","journal-title":"Discrete Mathematics"},{"key":"8_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"351","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-adjoint logic programming with continuous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"issue":"5","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1435","DOI":"10.1090\/S0002-9939-03-07220-4","volume":"132","author":"A. Ran","year":"2003","unstructured":"Ran, A., Reurings, M.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. of the AMS\u00a0132(5), 1435\u20131443 (2003)","journal-title":"Proc. of the AMS"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/inco.2001.3073","volume":"171","author":"W. Rounds","year":"2001","unstructured":"Rounds, W., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Inform. and Computation\u00a0171, 183\u2013200 (2001)","journal-title":"Inform. and Computation"},{"key":"8_CR12","first-page":"273","volume":"40","author":"A. Stouti","year":"2004","unstructured":"Stouti, A.: A fuzzy version of Tarski\u2019s fixpoint theorem. Archivum mathematicum\u00a040, 273\u2013279 (2004)","journal-title":"Archivum mathematicum"},{"issue":"3","key":"8_CR13","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(3), 361\u2013370 (2001)","journal-title":"Fuzzy sets and systems"}],"container-title":["Lecture Notes in Computer Science","Fuzzy Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11676935_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T18:03:40Z","timestamp":1627063420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11676935_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540325291","9783540325307"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11676935_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}