{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:05:25Z","timestamp":1759032325949,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319914787"},{"type":"electronic","value":"9783319914794"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91479-4_45","type":"book-chapter","created":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T14:08:23Z","timestamp":1526566103000},"page":"541-552","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Characterizing Fuzzy y-Models in\u00a0Multi-adjoint Normal Logic Programming"],"prefix":"10.1007","author":[{"given":"M. Eugenia","family":"Cornejo","sequence":"first","affiliation":[]},{"given":"David","family":"Lobo","sequence":"additional","affiliation":[]},{"given":"Jes\u00fas","family":"Medina","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,18]]},"reference":[{"key":"45_CR1","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9\u201318 (2003)"},{"key":"45_CR2","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence, pp. 100\u2013105. AAAI (2002)"},{"key":"45_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/978-3-319-59153-7_39","volume-title":"Advances in Computational Intelligence","author":"ME Cornejo","year":"2017","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Selecting the coherence notion in multi-adjoint normal logic programming. In: Rojas, I., Joya, G., Catala, A. (eds.) IWANN 2017. LNCS, vol. 10305, pp. 447\u2013457. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59153-7_39"},{"key":"45_CR4","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-319-66830-7_47","volume-title":"Advances in Fuzzy Logic and Technology 2017","author":"ME Cornejo","year":"2018","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Measuring the incoherent information in multi-adjoint normal logic programs. In: Kacprzyk, J., Szmidt, E., Zadro\u017cny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN\/EUSFLAT -2017. AISC, vol. 641, pp. 521\u2013533. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-66830-7_47"},{"key":"45_CR5","doi-asserted-by":"publisher","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Syntax and semantics of multi-adjoint normal logic programming. Fuzzy Sets and Systems, 19 December (2017). https:\/\/doi.org\/10.1016\/j.fss.2017.12.009","DOI":"10.1016\/j.fss.2017.12.009"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-39451-8_36","volume-title":"KI 2003: Advances in Artificial Intelligence","author":"J Dix","year":"2003","unstructured":"Dix, J., Kuter, U., Nau, D.: Planning in answer set programming using ordered task decomposition. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 490\u2013504. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39451-8_36"},{"issue":"1\u20132","key":"45_CR7","first-page":"99","volume":"12","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1\u20132), 99\u2013111 (1999)","journal-title":"AI Commun."},{"key":"45_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP 1988, pp. 1070\u20131080 (1988)"},{"issue":"3","key":"45_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3), 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"45_CR10","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Kluwer Academic, Dordrecht (1998)"},{"key":"45_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"E Klement","year":"2000","unstructured":"Klement, E., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic, Dordrecht (2000)"},{"issue":"4","key":"45_CR12","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TFUZZ.2011.2114669","volume":"19","author":"N Madrid","year":"2011","unstructured":"Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Trans. Fuzzy Syst. 19(4), 605\u2013622 (2011)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. (2012)","DOI":"10.1080\/00207160.2011.580842"},{"key":"45_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-45402-0_26","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"J Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojta\u0161, P.: Multi-adjoint logic programming with continous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351\u2013364. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45402-0_26"},{"key":"45_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","volume":"146","author":"J Medina","year":"2004","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146, 43\u201362 (2004)","journal-title":"Fuzzy Sets Syst."},{"issue":"3\u20134","key":"45_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10472-007-9080-3","volume":"50","author":"DV Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3\u20134), 363\u2013388 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"45_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169\u2013183. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45241-9_12"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1990, pp. 205\u2013217. ACM, New York (1990)","DOI":"10.1145\/298514.298572"},{"key":"45_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical Aspects of Declarative Languages","author":"T Soininen","year":"1998","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 305\u2013319. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49201-1_21"},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1988, pp. 221\u2013230. ACM, New York (1988)","DOI":"10.1145\/308386.308444"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91479-4_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T12:58:21Z","timestamp":1710248301000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91479-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319914787","9783319914794"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91479-4_45","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"18 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IPMU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"C\u00e1diz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ipmu2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ipmu2018.uca.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}