{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:28Z","timestamp":1725493168889},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766308"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76631-5_26","type":"book-chapter","created":{"date-parts":[[2007,10,22]],"date-time":"2007-10-22T02:33:07Z","timestamp":1193020387000},"page":"271-282","source":"Crossref","is-referenced-by-count":0,"title":["On Reachability of Minimal Models of Multilattice-Based Logic Programs"],"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":[{"key":"26_CR1","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.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 748\u2013759. Springer, Heidelberg (2001)"},{"issue":"3","key":"26_CR2","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"},{"key":"26_CR3","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.: 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)"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-540-28629-5_39","volume-title":"Mathematical Foundations of Computer Science 2004","author":"Y. Loyer","year":"2004","unstructured":"Loyer, Y., Straccia, U.: Epistemic foundation of the well-founded semantics over bilattices. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol.\u00a03153, pp. 513\u2013524. Springer, Heidelberg (2004)"},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., 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":"26_CR7","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. Information and Computation\u00a0171, 183\u2013200 (2001)","journal-title":"Information and Computation"},{"issue":"80","key":"26_CR8","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. Czechoslovak Mathematical Journal\u00a05(80), 308\u2013344 (1955)","journal-title":"Czechoslovak Mathematical Journal"},{"key":"26_CR9","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 multilattices. Discrete Mathematics\u00a01, 99\u2013101 (1981)","journal-title":"Discrete Mathematics"},{"key":"26_CR10","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., Cordero, P.: Generalizations of lattices via non-deterministic operators. Discrete Mathematics\u00a0295, 107\u2013141 (2005)","journal-title":"Discrete Mathematics"},{"key":"26_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11676935_8","volume-title":"Fuzzy Logic and Applications","author":"J. Medina","year":"2006","unstructured":"Medina, J., Ojeda-Aciego, M., Ruiz-Calvi\u00f1o, J.: Multi-lattices as a basis for generalized fuzzy logic programming. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol.\u00a03849, pp. 61\u201370. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Medina, J., Ojeda-Aciego, M., Ruiz-Calvi\u00f1o, J.: A fixed-point theorem for multi-valued functions with application to multilattice-based logic programming. Lect. Notes in Computer Science, vol.\u00a04578, pp. 37\u201344 (2007)","key":"26_CR12","DOI":"10.1007\/978-3-540-73400-0_5"},{"issue":"6","key":"26_CR13","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1016\/j.fss.2006.11.006","volume":"158","author":"J. Medina","year":"2007","unstructured":"Medina, J., Ojeda-Aciego, M., Ruiz-Calvi\u00f1o, J.: Fuzzy logic programming via multilattices. Fuzzy Sets and Systems\u00a0158(6), 674\u2013688 (2007)","journal-title":"Fuzzy Sets and Systems"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0304-4068(95)00728-8","volume":"25","author":"V. d\u2019Orey","year":"1996","unstructured":"d\u2019Orey, V.: Fixed point theorems for correspondences with values in a partially ordered set and extended supermodular games. Journal of Mathematical Economics\u00a025, 345\u2013354 (1996)","journal-title":"Journal of Mathematical Economics"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s001820400192","volume":"33","author":"F. Echenique","year":"2005","unstructured":"Echenique, F.: A short and constructive proof of Tarski\u2019s fixed-point theorem. International Journal of Game Theory\u00a033, 215\u2013218 (2005)","journal-title":"International Journal of Game Theory"},{"key":"26_CR16","first-page":"107","volume":"21","author":"A. Stouti","year":"2005","unstructured":"Stouti, A.: A generalized Amman\u2019s fixed point theorem and its application to Nash equilibrium. Acta Mathematica Academiae Paedagogicae Ny\u00edregyh\u00e1ziensis\u00a021, 107\u2013112 (2005)","journal-title":"Acta Mathematica Academiae Paedagogicae Ny\u00edregyh\u00e1ziensis"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1006\/game.1994.1051","volume":"7","author":"L. Zhou","year":"1994","unstructured":"Zhou, L.: The set of Nash equilibria of a supermodular game is a complete lattice. Games and economic behavior\u00a07, 295\u2013300 (1994)","journal-title":"Games and economic behavior"},{"key":"26_CR18","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. Annals of Mathematics and Artificial Intelligence\u00a021, 231\u2013243 (1997)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","MICAI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76631-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T00:53:59Z","timestamp":1629939239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76631-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540766308"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76631-5_26","relation":{},"subject":[]}}