{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:56:23Z","timestamp":1725738983430},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397868"},{"type":"electronic","value":"9783642397875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39787-5_28","type":"book-chapter","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T04:22:14Z","timestamp":1372738934000},"page":"336-348","source":"Crossref","is-referenced-by-count":0,"title":["Measuring Formula-Variable Relevance in Four-Valued Logic by Forgetting"],"prefix":"10.1007","author":[{"given":"Xin","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Belnap Jr., N.D.: A useful four-valued logic. In: Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Springer (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"issue":"1","key":"28_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence\u00a0102(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"28_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04(3), 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Handbook of Philosophical Logic, pp. 287\u2013393. Springer (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol.\u00a03300. Springer, Heidelberg (2005)"},{"key":"28_CR6","unstructured":"Lin, F., Reiter, R.: Forget it. Working Notes of AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)"},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence. Journal of Artificial Intelligence Research\u00a018, 391\u2013443 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"28_CR8","unstructured":"Xu, D., Lin, Z.: A prime implicates-based formulae forgetting. In: 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE), vol.\u00a03, pp. 128\u2013132. IEEE (2011)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-38457-8_26","volume-title":"Advances in Artificial Intelligence","author":"X. Liang","year":"2013","unstructured":"Liang, X., Lin, Z., Van den Bussche, J.: Quantitatively evaluating formula-variable relevance by forgetting. In: Za\u00efane, O.R., Zilles, S. (eds.) Canadian AI 2013. LNCS, vol.\u00a07884, pp. 271\u2013277. Springer, Heidelberg (2013)"},{"key":"28_CR10","unstructured":"Lang, J., Marquis, P.: Resolving inconsistencies by variable forgetting. In: International Conference on Principles of Knowledge Representation and Reasoning, pp. 239\u2013250. Morgan Kaufmann Publishers (2002)"},{"issue":"12","key":"28_CR11","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1016\/j.artint.2010.04.023","volume":"174","author":"J. Lang","year":"2010","unstructured":"Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence\u00a0174(12), 799\u2013823 (2010)","journal-title":"Artificial Intelligence"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-68234-9_20","volume-title":"The Semantic Web: Research and Applications","author":"Z. Wang","year":"2008","unstructured":"Wang, Z., Wang, K., Topor, R., Pan, J.Z.: Forgetting concepts in DL-Lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 245\u2013257. Springer, Heidelberg (2008)"},{"issue":"14","key":"28_CR13","doi-asserted-by":"publisher","first-page":"1644","DOI":"10.1016\/j.artint.2008.05.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artificial Intelligence\u00a0172(14), 1644\u20131672 (2008)","journal-title":"Artificial Intelligence"},{"issue":"16","key":"28_CR14","doi-asserted-by":"publisher","first-page":"1525","DOI":"10.1016\/j.artint.2009.07.005","volume":"173","author":"Y. Zhang","year":"2009","unstructured":"Zhang, Y., Zhou, Y.: Knowledge forgetting: Properties and applications. Artificial Intelligence\u00a0173(16), 1525\u20131537 (2009)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39787-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:40:18Z","timestamp":1557898818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39787-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397868","9783642397875"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39787-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}