{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:09Z","timestamp":1759032549815},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237126"},{"type":"electronic","value":"9783642237133"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23713-3_15","type":"book-chapter","created":{"date-parts":[[2011,8,22]],"date-time":"2011-08-22T00:28:26Z","timestamp":1313972906000},"page":"115-122","source":"Crossref","is-referenced-by-count":4,"title":["On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence"],"prefix":"10.1007","author":[{"given":"Carlos V.","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Nicol\u00e1s","family":"Madrid","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ojeda-Aciego","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jal.2004.07.012","volume":"3","author":"J. Alc\u00e2ntara","year":"2005","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Pereira, L.M.: An encompassing framework for paraconsistent logic programs. J. Applied Logic\u00a03(1), 67\u201395 (2005)","journal-title":"J. Applied Logic"},{"key":"15_CR2","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":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-36388-2_15","volume-title":"Practical Aspects of Declarative Languages","author":"P. Barcel\u00f3","year":"2002","unstructured":"Barcel\u00f3, P., Bertossi, L.: Logic programs for querying inconsistent databases. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 208\u2013222. Springer, Heidelberg (2002)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TFUZZ.2006.881444","volume":"15","author":"C. Cornelis","year":"2007","unstructured":"Cornelis, C., Arieli, O., Deschrijver, G., Kerre, E.E.: Uncertainty modeling by bilattice-based squares and triangles. IEEE T. Fuzzy Systems\u00a015(2), 161\u2013175 (2007)","journal-title":"IEEE T. Fuzzy Systems"},{"key":"15_CR5","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.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., 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":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1142\/S0218488507004352","volume":"15","author":"G. Deschrijver","year":"2007","unstructured":"Deschrijver, G., Arieli, O., Cornelis, C., Kerre, E.E.: A bilattice-based framework for handling graded truth and imprecision. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a015(1), 13\u201341 (2007)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/91.618276","volume":"5","author":"D. Dubois","year":"2002","unstructured":"Dubois, D., Prade, H., Ughetto, L.: Checking the coherence and redundancy of fuzzy knowledge bases. IEEE T. Fuzzy Systems\u00a05(3), 398\u2013417 (2002)","journal-title":"IEEE T. Fuzzy Systems"},{"key":"15_CR8","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":"15_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M. Fitting","year":"1999","unstructured":"Fitting, M.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science\u00a0278, 25\u201351 (1999)","journal-title":"Theoretical Computer Science"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: A uniform approach to inference in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J. Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems\u00a027(2), 159\u2013184 (2006)","journal-title":"Journal of Intelligent Information Systems"},{"key":"15_CR12","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":"15_CR13","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Proc. of WI-IAT 2008 Workshop on Fuzzy Logic in the Web, pp. 260\u2013264 (2008)","DOI":"10.1109\/WIIAT.2008.357"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) WILF 2009. LNCS, vol.\u00a05571, pp. 60\u201367. Springer, Heidelberg (2009)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Transactions on Fuzzy Systems (2011) (accepted)","DOI":"10.1109\/TFUZZ.2011.2114669"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/69.667094","volume":"10","author":"L. Yuan","year":"2002","unstructured":"Yuan, L., You, J.: Coherence approach to logic program revision. IEEE Tr. Knowledge and Data Engineering\u00a010(1), 108\u2013119 (2002)","journal-title":"IEEE Tr. Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","Fuzzy Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23713-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T18:38:29Z","timestamp":1554057509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23713-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237126","9783642237133"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23713-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}