{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:52Z","timestamp":1725512272383},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711988"},{"type":"electronic","value":"9783540712008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71200-8_11","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T13:30:21Z","timestamp":1179754221000},"page":"176-190","source":"Crossref","is-referenced-by-count":5,"title":["A Four-Valued Logic for Rough Set-Like Approximate Reasoning"],"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":"11_CR1","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems \u2013 theoretical foundations. Information Systems\u00a06, 205\u2013218 (1981)","journal-title":"Information Systems"},{"key":"11_CR2","first-page":"8","volume-title":"Modern Uses of Many Valued Logic","author":"N. Belnap","year":"1977","unstructured":"Belnap, N.: A useful four-valued logic. In: Eptein, G., Dunn, J. (eds.) Modern Uses of Many Valued Logic, pp. 8\u201337. Reidel, Dordrecht (1977)"},{"key":"11_CR3","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N. Belnap","year":"1977","unstructured":"Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201355. Oriel Press, Stocksfield (1977)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Sciences"},{"key":"11_CR5","first-page":"253","volume":"35","author":"Z. Pawlak","year":"1987","unstructured":"Pawlak, Z.: Rough logic. Bull. Polish Acad. Sci. Tech.\u00a035, 253\u2013258 (1987)","journal-title":"Bull. Polish Acad. Sci. Tech."},{"key":"11_CR6","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A. Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae\u00a027, 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR8","first-page":"17","volume-title":"Advances in Machine Intelligence & Soft Computing","author":"R. S\u0142owi\u0144ski","year":"1997","unstructured":"S\u0142owi\u0144ski, R., Vanderpooten, D.: Similarity relation as a basis for rough approximations. In: Wang, P. (ed.) Advances in Machine Intelligence & Soft Computing, pp. 17\u201333. Bookwrights, Raleigh (1997)"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/69.842271","volume":"12","author":"R. S\u0142owi\u0144ski","year":"2000","unstructured":"S\u0142owi\u0144ski, R., Vanderpooten, D.: A generalized definition of rough approximations based on similarity. IEEE Trans. on Data and Knowledge Engineering\u00a012(2), 331\u2013336 (2000)","journal-title":"IEEE Trans. on Data and Knowledge Engineering"},{"key":"11_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-540-39451-8_35","volume-title":"KI 2003: Advances in Artificial Intelligence","author":"P. Doherty","year":"2003","unstructured":"Doherty, P., \u0141ukaszewicz, W., Sza\u0142as, A.: Tolerance spaces and approximative representational structures. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol.\u00a02821, pp. 475\u2013489. Springer, Heidelberg (2003)"},{"key":"11_CR11","unstructured":"Doherty, P., \u0141ukaszewicz, W., Sza\u0142as, A.: Approximate databases and query techniques for agents with heterogenous perceptual capabilities. In: Proceedings of the 7th Int. Conf. on Information Fusion, FUSION\u20192004, pp. 175\u2013182 (2004)"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-25929-9_16","volume-title":"Rough Sets and Current Trends in Computing","author":"P. Doherty","year":"2004","unstructured":"Doherty, P., Sza\u0142as, A.: On the correspondence between approximations and similarity. In: Tsumoto, S., et al. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 143\u2013152. Springer, Heidelberg (2004)"},{"key":"11_CR13","series-title":"Studies in Fuziness and Soft Computing","volume-title":"Knowledge Representation Techniques. A Rough Set Approach","author":"P. Doherty","year":"2006","unstructured":"Doherty, P., et al.: Knowledge Representation Techniques. A Rough Set Approach. Studies in Fuziness and Soft Computing, vol.\u00a0202. Springer, Heidelberg (2006)"},{"key":"11_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11548706_6","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"R. Andersson","year":"2005","unstructured":"Andersson, R., et al.: Rosy: A rough knowledge base system. In: \u015al\u0119zak, D., et al. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03642, pp. 48\u201358. Springer, Heidelberg (2005)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11574798_10","volume-title":"Transactions on Rough Sets IV","author":"A. Vit\u00f3ria","year":"2005","unstructured":"Vit\u00f3ria, A.: A framework for reasoning with rough sets. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets IV. LNCS, vol.\u00a03700, pp. 178\u2013276. Springer, Heidelberg (2005)"},{"key":"11_CR16","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1996","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1996)"},{"key":"11_CR17","first-page":"220","volume-title":"Proc. 15th European Conference on Artificial Intelligence, ECAI\u20192002","author":"P. Doherty","year":"2002","unstructured":"Doherty, P., \u0141ukaszewicz, W., Sza\u0142as, A.: CAKE: A computer-aided knowledge engineering technique. In: van Harmelen, F. (ed.) Proc. 15th European Conference on Artificial Intelligence, ECAI\u20192002, pp. 220\u2013224. IOS Press, Amsterdam (2002)"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3166\/jancl.16.87-117","volume":"16","author":"P. Doherty","year":"2006","unstructured":"Doherty, P., Magnusson, M., Sza\u0142as, A.: Approximate databases: A support tool for approximate reasoning. Journal of Applied Non-Classical Logics, Special issue on Implementation of logics\u00a016, 87\u2013118 (2006)","journal-title":"Journal of Applied Non-Classical Logics, Special issue on Implementation of logics"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11574798_1","volume-title":"Transactions on Rough Sets IV","author":"Z. Pawlak","year":"2005","unstructured":"Pawlak, Z.: A treatise on rough sets. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets IV. LNCS, vol.\u00a03700, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"11_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-39205-X_25","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"A. Vit\u00f3ria","year":"2003","unstructured":"Vit\u00f3ria, A., Dam\u00e1sio, C., Ma\u0142uszy\u0144ski, J.: Query answering for rough knowledge bases. In: Wang, G., et al. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 197\u2013204. Springer, Heidelberg (2003)"},{"key":"11_CR21","first-page":"243","volume-title":"Proceedings of AAAI-86, Fifth National Conference on Artificial Intelligence","author":"M. Ginsberg","year":"1986","unstructured":"Ginsberg, M.: Multi-valued logics. In: Proceedings of AAAI-86, Fifth National Conference on Artificial Intelligence, pp. 243\u2013247. AAAI Press, Menlo Park (1986)"},{"key":"11_CR22","first-page":"256","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in ai. Computational Intelligence\u00a04, 256\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"11_CR23","unstructured":"Fitting, M.: Bilattices are nice things. In: Proc. PhiLog Conference on Self-Reference, Copenhagen, The Danish Network for Philosophical Logic and Its Applications (2002)"},{"key":"11_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Bali, A., Cervoni, L.: Prolog: The Standard Reference Manual. Springer, Heidelberg (1996)"},{"key":"11_CR25","unstructured":": XSB system. Available at http:\/\/xsb.sourceforge.net\/"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels - an implementation of stable model and the well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"11_CR27","unstructured":"Simons, P.: Smodels system. Available at http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"11_CR28","volume-title":"Logic, Programming and Prolog","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Ma\u0142uszynski, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons, Chichester (1995), http:\/\/www.ida.liu.se\/~ulfni\/lpp\/copyright.html","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets VI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71200-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:28Z","timestamp":1605762988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71200-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711988","9783540712008"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71200-8_11","relation":{},"subject":[]}}