{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:45Z","timestamp":1759032585108},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668291"},{"type":"electronic","value":"9783319668307"}],"license":[{"start":{"date-parts":[[2017,9,2]],"date-time":"2017-09-02T00:00:00Z","timestamp":1504310400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-66830-7_47","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T20:59:40Z","timestamp":1504213180000},"page":"521-533","source":"Crossref","is-referenced-by-count":3,"title":["Measuring the Incoherent Information in\u00a0Multi-adjoint Normal Logic Programs"],"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":[[2017,9,2]]},"reference":[{"issue":"1","key":"47_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s11023-017-9428-3","volume":"27","author":"TR Besold","year":"2017","unstructured":"Besold, T.R., Garcez, A.D., Stenning, K., van der Torre, L., van Lambalgen, M.: Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples. Mind. Mach. 27(1), 37\u201377 (2017)","journal-title":"Mind. Mach."},{"issue":"3","key":"47_CR2","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/S0550-3213(03)00355-9","volume":"663","author":"J Bouttier","year":"2003","unstructured":"Bouttier, J., Francesco, P.D., Guitter, E.: Geodesic distance in planar graphs. Nucl. Phys. B 663(3), 535\u2013567 (2003)","journal-title":"Nucl. Phys. B"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","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.) Advances in Computational Intelligence. Lecture Notes in Computer Science, vol. 10305, pp. 1\u201311. Springer, Cham (2017)"},{"key":"47_CR4","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Towards multi-adjoint logic programming with negations. In: Koczy, L., Medina, J. (eds.) 8th European Symposium on Computational Intelligence and Mathematics (ESCIM 2016), pp. 24\u201329 (2016)"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. In: Logics in Artificial Intelligence, JELIA 2000. Lecture Notes in Artificial Intelligence, vol. 1919, pp. 57\u201373 (2000)","DOI":"10.1007\/3-540-40006-0_5"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001. Lecture Notes in Artificial Intelligence, vol. 2143, pp. 748\u2013759 (2001)","DOI":"10.1007\/3-540-44652-4_66"},{"issue":"1","key":"47_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/69.273026","volume":"6","author":"D Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights. IEEE Trans. Knowl. Data Eng. 6(1), 64\u201371 (1994)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"47_CR8","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-4666-2661-4","volume-title":"Graph Theory for Operations Research and Management: Applications in Industrial Engineering","author":"RZ Farahani","year":"2013","unstructured":"Farahani, R.Z., Miandoabchi, E.: Graph Theory for Operations Research and Management: Applications in Industrial Engineering. IGI Global, London (2013)"},{"issue":"2","key":"47_CR9","doi-asserted-by":"crossref","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. J. Log. Program. 11(2), 91\u2013116 (1991)","journal-title":"J. Log. Program."},{"issue":"2","key":"47_CR10","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1016\/j.apal.2016.10.005","volume":"168","author":"C Galanaki","year":"2017","unstructured":"Galanaki, C., Nomikos, C., Rondogiannis, P.: Game semantics for non-monotonic intensional logic programming. Ann. Pure Appl. Log. 168(2), 234\u2013253 (2017). Eighth Games for Logic and Programming Languages Workshop (GaLoP)","journal-title":"Ann. Pure Appl. Log."},{"key":"47_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"key":"47_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.ins.2016.08.047","volume":"384","author":"M Jalili","year":"2017","unstructured":"Jalili, M.: Graph theoretical analysis of Alzheimer\u2019s disease: discrimination of AD patients from healthy subjects. Inf. Sci. 384, 145\u2013156 (2017)","journal-title":"Inf. Sci."},{"issue":"1","key":"47_CR13","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.fss.2005.03.013","volume":"154","author":"P Julian","year":"2005","unstructured":"Julian, P., Moreno, G., Penabad, J.: On fuzzy unfolding: a multi-adjoint approach. Fuzzy Sets Syst. 154(1), 16\u201333 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"47_CR14","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.fss.2008.05.006","volume":"160","author":"P Julian","year":"2009","unstructured":"Julian, P., Moreno, G., Penabad, J.: An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. 160, 162\u2013181 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"47_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.fss.2016.09.004","volume":"317","author":"P Juli\u00e1n-Iranzo","year":"2017","unstructured":"Juli\u00e1n-Iranzo, P., Medina, J., Ojeda-Aciego, M.: On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. 317, 27\u201343 (2017). Theme: Logic and Computer Science","journal-title":"Fuzzy Sets Syst."},{"key":"47_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2016.12.016","volume":"317","author":"P Juli\u00e1n-Iranzo","year":"2017","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets Syst. 317, 1\u201326 (2017). Theme: Logic and Computer Science","journal-title":"Fuzzy Sets Syst."},{"key":"47_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Log. Program. 12, 335\u2013367 (1992)","journal-title":"J. Log. Program."},{"key":"47_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-642-02282-1_8","volume-title":"Fuzzy Logic and Applications","author":"N Madrid","year":"2009","unstructured":"Madrid, N., Ojeda-Aciego, M.: On coherence and consistence in fuzzy answer set semantics for residuated logic programs. In: Di Ges\u00f9, V., Pal, S.K., Petrosino, A. (eds.) Fuzzy Logic and Applications. Lecture Notes in Computer Science, vol. 5571, pp. 60\u201367. Springer, Heidelberg (2009)"},{"key":"47_CR19","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: On the measure of incoherence in extended residuated logic programs. In: Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2009, Jeju Island, Korea, 20\u201324 August 2009, pp. 598\u2013603 (2009)","DOI":"10.1109\/FUZZY.2009.5277277"},{"key":"47_CR20","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: adding information. In: Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, Barcelona, Spain, 18\u201323 July 2010, pp. 1\u20137 (2010)","DOI":"10.1109\/FUZZY.2010.5584819"},{"key":"47_CR21","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: discarding information. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods - Prceedings of 13th International Conference, IPMU 2010, Dortmund, Germany, 28 June\u20132 July 2010, Part I, pp. 128\u2013137 (2010)","DOI":"10.1007\/978-3-642-14055-6_14"},{"issue":"4","key":"47_CR22","doi-asserted-by":"crossref","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."},{"issue":"3","key":"47_CR23","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1080\/00207160.2011.580842","volume":"89","author":"N Madrid","year":"2012","unstructured":"Madrid, N., Ojeda-Aciego, M.: On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. 89(3), 310\u2013324 (2012)","journal-title":"Int. J. Comput. Math."},{"key":"47_CR24","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: On the measure of incoherent information in extended multi-adjoint logic programs. In: 2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI). Institute of Electrical and Electronics Engineers (IEEE), April 2013","DOI":"10.1109\/FOCI.2013.6602452"},{"issue":"5","key":"47_CR25","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1016\/j.ins.2009.11.018","volume":"180","author":"J Medina","year":"2010","unstructured":"Medina, J., Ojeda-Aciego, M.: Multi-adjoint t-concept lattices. Inf. Sci. 180(5), 712\u2013725 (2010)","journal-title":"Inf. Sci."},{"key":"47_CR26","doi-asserted-by":"crossref","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-adjoint logic programming with continuous semantics. In: Logic Programming and Non-Monotonic Reasoning, LPNMR 2001, pp. 351\u2013364. Lecture Notes in Artificial Intelligence, vol. 2173 (2001)","DOI":"10.1007\/3-540-45402-0_26"},{"key":"47_CR27","doi-asserted-by":"crossref","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":"47_CR28","doi-asserted-by":"crossref","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":"47_CR29","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/j.ijar.2016.10.002","volume":"80","author":"F Riguzzi","year":"2017","unstructured":"Riguzzi, F., Bellodi, E., Zese, R., Cota, G., Lamma, E.: A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 80, 313\u2013333 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"47_CR30","unstructured":"Strass, H., Mu\u00f1oz-Hern\u00e1ndez, S., Pablos-Ceruelo, V.: Operational semantics for a fuzzy logic programming system with defaults and constructive answers (2009)"},{"issue":"4","key":"47_CR31","first-page":"197","volume":"3","author":"E Trillas","year":"1999","unstructured":"Trillas, E., Alsina, C., Jacas, J.: On contradiction in fuzzy logic. Soft Comput. Fusion Found. Methodol. Appl. 3(4), 197\u2013199 (1999)","journal-title":"Soft Comput. Fusion Found. Methodol. Appl."},{"issue":"3","key":"47_CR32","doi-asserted-by":"crossref","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 Syst. 124(3), 361\u2013370 (2001)","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"47_CR33","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1016\/j.ijar.2011.12.002","volume":"53","author":"X Yu","year":"2012","unstructured":"Yu, X., Xu, Z.: Graph-based multi-agent decision making. Int. J. Approx. Reason. 53(4), 502\u2013512 (2012)","journal-title":"Int. J. Approx. Reason."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Fuzzy Logic and Technology 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66830-7_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T21:04:38Z","timestamp":1570050278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66830-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,2]]},"ISBN":["9783319668291","9783319668307"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66830-7_47","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,2]]}}}