{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:06:35Z","timestamp":1725519995762},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884231"},{"type":"electronic","value":"9783540884255"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88425-5_5","type":"book-chapter","created":{"date-parts":[[2008,10,15]],"date-time":"2008-10-15T10:15:44Z","timestamp":1224065744000},"page":"41-51","source":"Crossref","is-referenced-by-count":9,"title":["Paraconsistent Logic Programs with Four-Valued Rough Sets"],"prefix":"10.1007","author":[{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Sza\u0142as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aida","family":"Vit\u00f3ria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.ijar.2006.09.009","volume":"46","author":"S. Amo","year":"2007","unstructured":"Amo, S., Pais, M.S.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning\u00a046, 366\u2013386 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Many Valued Logic, pp. 8\u201337. Reidel (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"5_CR3","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survay of paraconsistent semantics for logic programs. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/ISMVL.1990.122627","volume-title":"Proc. of the 20th International Symposium on Multiple-Valued Logic","author":"M.C. Fitting","year":"1990","unstructured":"Fitting, M.C.: Bilattices in logic programming. In: Epstein, G. (ed.) Proc. of the 20th International Symposium on Multiple-Valued Logic, pp. 238\u2013246. IEEE CS Press, Los Alamitos (1990)"},{"issue":"1-2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M.C. Fitting","year":"2002","unstructured":"Fitting, M.C.: Fixpoint semantics for logic programming a survey. Theoretical Computer Science\u00a0278(1-2), 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR6","first-page":"256","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: a\u00a0uniform approach to reasoning in AI. Computational Intelligence\u00a04, 256\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-71200-8_11","volume-title":"Transactions on Rough Sets VI","author":"J. Maluszy\u0144ski","year":"2007","unstructured":"Maluszy\u0144ski, J., Sza\u0142as, A., Vit\u00f3ria, A.: A four-valued logic for rough set-like approximate reasoning. In: Duntsch, I., Grzymala-Busse, J., Orlowska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol.\u00a04374, pp. 176\u2013190. Springer, Heidelberg (2007)"},{"key":"5_CR8","series-title":"Theoretical Aspects of Reasoning about Data","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-79721-0_19","volume-title":"Rough Sets and Knowledge Technology","author":"A. Vit\u00f3ria","year":"2008","unstructured":"Vit\u00f3ria, A., Sza\u0142as, A., Maluszy\u0144ski, J.: A four-valued extension of rough sets. In: Wang, G., Li, T., Grzymala-Busse, J., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol.\u00a05009, pp. 106\u2013114. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88425-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T13:57:57Z","timestamp":1551621477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88425-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884231","9783540884255"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88425-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}