{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:37:51Z","timestamp":1753439871039},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859833"},{"type":"electronic","value":"9783540859840"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85984-0_98","type":"book-chapter","created":{"date-parts":[[2008,9,7]],"date-time":"2008-09-07T21:00:48Z","timestamp":1220821248000},"page":"815-823","source":"Crossref","is-referenced-by-count":6,"title":["A Logic Description on Different Negation Relation in Knowledge"],"prefix":"10.1007","author":[{"given":"Zhenghua","family":"Pan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"98_CR1","doi-asserted-by":"crossref","unstructured":"Wagner, G.: A Database Needs Two Kinds of Negation. In: Proc. of MFDBS, pp. 357\u2013371 (1991)","DOI":"10.1007\/3-540-54009-1_25"},{"key":"98_CR2","first-page":"574","volume-title":"Int. Joint Conf. and Symp. on LP","author":"J.J. Alferes","year":"1992","unstructured":"Alferes, J.J., Pereira, L.M.: On Logic Program Semantics with Two Kinds of Negation. In: Apt, K. (ed.) Int. Joint Conf. and Symp. on LP, pp. 574\u2013588. MIT Press, Cambridge (1992)"},{"key":"98_CR3","volume-title":"Knowledge-Based Reasoning with Two Kinds of Negation","author":"G. Wagner","year":"1994","unstructured":"Wagner, G., Logic, V.: Knowledge-Based Reasoning with Two Kinds of Negation. Springer, New York (1994)"},{"key":"98_CR4","volume-title":"What Is Negation?","author":"G. Wagner","year":"1999","unstructured":"Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-based Reasoning. In: Gabbay, D., Wansing, H. (eds.) What Is Negation? Oxford University Press, Oxford (1999)"},{"key":"98_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-24572-8_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 33\u201350. Springer, Heidelberg (2003)"},{"issue":"2","key":"98_CR6","first-page":"25","volume":"1","author":"A. Analyti","year":"2004","unstructured":"Analyti, A., Antoniou, G., Damasio, C.V., Wagner, G.: Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing & Teleinformatics (AMCT)\u00a01(2), 25\u201334 (2004)","journal-title":"Annals of Mathematics, Computing & Teleinformatics (AMCT)"},{"key":"98_CR7","unstructured":"Kaneiwa, K.: Negations in Description Logic-Contraries, Contradictories, and Subcontraries. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) Contributions to ICCS, pp. 66\u201379 (2005)"},{"key":"98_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11671404_9","volume-title":"Formal Concept Analysis","author":"S. Ferr\u00e9","year":"2006","unstructured":"Ferr\u00e9, S.: Negation, Opposition, and Possibility in Logical Concept Analysis. In: Missaoui, R., Schmidt, J. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03874, pp. 130\u2013145. Springer, Heidelberg (2006)"},{"key":"98_CR9","doi-asserted-by":"crossref","unstructured":"Pan, Z.H., Zhu, W.J.: A New Cognition and Processing on Contradictory Knowledge. In: IEEE Proceedings of 2006 International Conference on Machine Learning and Cybernetics, vol.\u00a01-7, pp. 1532\u20131537 (2006)","DOI":"10.1109\/ICMLC.2006.258823"},{"key":"98_CR10","doi-asserted-by":"crossref","unstructured":"Pan, Z.H.: Five Kinds of Contradictory Relations and Opposite Relations in Inconsistent Knowledge. In: Proceedings of IEEE-Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007), vol.\u00a04, pp. 761\u2013764 (2007)","DOI":"10.1109\/FSKD.2007.292"},{"key":"98_CR11","doi-asserted-by":"crossref","unstructured":"Pan, Z.H.: Differentiation and Processing on Contradictory Relation and Opposite Relation in Knowledge. In: Proceedings of IEEE-the 3rd International Conference on Natural Computation (ICNC 2007), vol.\u00a04, pp. 334\u2013338 (2007)","DOI":"10.1109\/FSKD.2007.254"},{"issue":"4","key":"98_CR12","first-page":"315","volume":"8","author":"W.J. Zhu","year":"1985","unstructured":"Zhu, W.J., Xian, X.: Proposition Calculus System of Medium Logic (I) (in Chinese). Nature Journal\u00a08(4), 315\u2013316 (1985)","journal-title":"Nature Journal"},{"issue":"7","key":"98_CR13","first-page":"540","volume":"8","author":"X. Xian","year":"1985","unstructured":"Xian, X., Zhu, W.: Predicate Calculus System of Medium Logic (I) (in Chinese). Nature Journal\u00a08(7), 540\u2013542 (1985)","journal-title":"Nature Journal"},{"key":"98_CR14","first-page":"139","volume":"1","author":"W.J. Zhu","year":"1988","unstructured":"Zhu, W.J., Xian, X.: On the Mathematical Models of Medium Mathematical System MM*. Journal of Mathematics Research & Exposition\u00a01, 139\u2013151 (1988)","journal-title":"Journal of Mathematics Research & Exposition"},{"key":"98_CR15","first-page":"167","volume-title":"Proc. of Workshop on Knowledge-Based Systems and Models of Logical Reasoning","author":"Z.H. Pan","year":"1988","unstructured":"Pan, Z.H.: Construction of a Model of Medium Logical Calculus System (ML). In: Proc. of Workshop on Knowledge-Based Systems and Models of Logical Reasoning, pp. 167\u2013175. Cairo University Press, Cairo (1988)"},{"issue":"22","key":"98_CR16","doi-asserted-by":"crossref","first-page":"1686","DOI":"10.1360\/csb1988-33-22-1686","volume":"33","author":"X. Li","year":"1988","unstructured":"Li, X., Li, G.Y.: The Characteristic Problems of Medium Logic. Chinese Science Bulletin (in Chinese)\u00a033(22), 1686\u20131689 (1988)","journal-title":"Chinese Science Bulletin (in Chinese)"},{"key":"98_CR17","first-page":"103","volume-title":"Proc. of the Second Asian Workshop on Foundations of Software","author":"Z.H. Pan","year":"2003","unstructured":"Pan, Z.H., Zhu, W.J.: A Finite and Infinite-valued Model of the Medium Proposition Logic. In: Proc. of the Second Asian Workshop on Foundations of Software, pp. 103\u2013106. Southeast University Press, Nanjing (2003)"},{"key":"98_CR18","unstructured":"Pan, Z.H., Zhu, W.J.: An Interpretation of Infinite Valued for Medium Proposition Logic. In: Proceedings of IEEE-Third International Conference on Machine Learning and Cybernetics, Shanghai, China, pp. 2495\u20132499 (2004)"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85984-0_98","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,30]],"date-time":"2020-01-30T10:39:30Z","timestamp":1580380770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85984-0_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540859833","9783540859840"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85984-0_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}