{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:43:57Z","timestamp":1725493437140},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_16","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"250-267","source":"Crossref","is-referenced-by-count":1,"title":["Knowledge Representation in Extended Pawlak\u2019s Information Systems: Algebraic Aspects"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"C\u012brulis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"key":"16_CR1","first-page":"512","volume":"50","author":"C.E. Alchaurr\u00f3n","year":"1985","unstructured":"Alchaurr\u00f3n C.E., G\u00e1rdenfors P., Makinson D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Logic 50 (1985), 512\u2013530.","journal-title":"J. Symb. Logic"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1004927613994","volume":"58","author":"D.A. Archangelsky","year":"1997","unstructured":"Archangelsky, D.A., Taitslin, M.A.: A logic for information systems. Stud. Log. 58 (1997), 3\u201316.","journal-title":"Stud. Log."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","volume":"91","author":"P. Buneman","year":"1991","unstructured":"Buneman P., Jung A., Ohori A.: Using powerdomains to generalize relational databases. Theor. Comput. Sci. 91 (1991), 23\u201355.","journal-title":"Theor. Comput. Sci."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-48340-3_27","volume-title":"MFCS\u201999","author":"J. C\u012brulis","year":"1999","unstructured":"C\u012brulis, J.: An algebraic approach to knowledge representation. MFCS\u201999, LNCS 1672 (1999), 299\u2013309."},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-44669-9_11","volume-title":"FCT\u201901","author":"J. C\u012brulis","year":"2001","unstructured":"C\u012brulis, J.: Are there essentially incomplete knowledge representation systems? FCT\u201901, LNCS 2138 (2001), 94\u2013105."},{"key":"16_CR6","first-page":"492","volume":"14","author":"S.D. Comer","year":"1991","unstructured":"Comer, S.D.: An algebraic approach to the approximation of information. Fund. Inform. 14 (1991), 492\u2013502.","journal-title":"Fund. Inform."},{"key":"16_CR7","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge UP, 1994."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Ganter, B, Wille, R.: Formale Begriffsanalyse. Mathematishe Grundlagen. Springer, 1996.","DOI":"10.1007\/978-3-642-61450-7"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors P.: Belief revision: an introduction. In: G\u00e4rdenfors P. (ed.), Belief revision. Cambr. Univ. Press, 1992, 1\u201328.","DOI":"10.1017\/CBO9780511526664"},{"key":"16_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"Lattice Theory","author":"G. Gr\u00e4tzer","year":"1978","unstructured":"Gr\u00e4tzer G.: Lattice Theory. Academie-Verlag, Berlin, 1978."},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-1997-291206","volume":"29","author":"I. D\u00fcntsch","year":"1997","unstructured":"D\u00fcntsch, I., Gediga, G.: Algebraic aspects of attribute dependencies in information systems. Fund. Inform. 29 (1997), 119\u2013133.","journal-title":"Fund. Inform."},{"key":"16_CR12","unstructured":"Jaederman, M.: Information storage and retrieval systems IV. Systems with incomplete information. CC PAS Report 214, Warszaw, 1975."},{"key":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-55511-0_12","volume-title":"MFPS\u201991","author":"A. Jung","year":"1992","unstructured":"Jung, A., Libkin, L., Puhlmann, H.: Decomposition of domains. MFPS\u201991, LNCS 598, 1992, 235\u2013250."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Jung, A., Puhlmann, H.: Types, Logic, and Semantics for Nested Databases. Electr. Notes in Theoret. Comp. Sci. 1 (1995), URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume1.html .","DOI":"10.1016\/S1571-0661(04)00020-9"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0020-0255(98)10065-8","volume":"113","author":"M. Kryszkiewicz","year":"1999","unstructured":"Kryszkiewicz, M.: Rules in incomplete information systems. Inf. Sci. 113 (1999), 271\u2013292.","journal-title":"Inf. Sci."},{"key":"16_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-54009-1_3","volume-title":"MFDBS\u201991","author":"L. Libkin","year":"1991","unstructured":"Libkin, L.: A relational algebra for complex objects based on partial information. MFDBS\u201991, LNCS 495 (1991), 29\u201343."},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0304-3975(76)90077-3","volume":"1","author":"W. Marek","year":"1976","unstructured":"Marek, W., Pawlak, Z.: Information storage and retrieval systems: Mathematical foundations. Theor. Comp. Sci. 1 (1976), 331\u2013354.","journal-title":"Theor. Comp. Sci."},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"389","DOI":"10.3233\/FI-1999-39404","volume":"39","author":"W. Marek","year":"1999","unstructured":"Marek, W., Truszszy\u0144ski, M.: Contributions to the theory of rough sets. Fund. Inform. 39 (1999), 389\u2013409.","journal-title":"Fund. Inform."},{"key":"16_CR19","first-page":"263","volume":"16","author":"J. Novotny","year":"1992","unstructured":"Novotn\u00fd, J., Novotn\u00fd, M.: Notes on the algebraic approach to dependencies in information systems. Fund. Inform. 16 (1992), 263\u2013273.","journal-title":"Fund. Inform."},{"key":"16_CR20","first-page":"289","volume":"6","author":"M. Novotn\u00fd","year":"1983","unstructured":"Novotn\u00fd, M., Pawlak, Z.: On a representation of rough sets by means of information systems. Fund. Inform. 6 (1983), 289\u2013296.","journal-title":"Fund. Inform."},{"key":"16_CR21","first-page":"133","volume":"35","author":"M. Novotn\u00fd","year":"1987","unstructured":"Novotn\u00fd, M., Pawlak, Z.: Concept forming and black boxes. Bull. Polish Acad. Sci. Math. 35 (1987), 133\u2013141.","journal-title":"Bull. Polish Acad. Sci. Math."},{"key":"16_CR22","first-page":"454","volume":"14","author":"M. Novotn\u00fd","year":"1991","unstructured":"Novotn\u00fd, M., Pawlak, Z.: Algebraic theory of independence in information systems. Fund. Inform. 14(1991), 454\u2013476.","journal-title":"Fund. Inform."},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(90)90012-7","volume":"76","author":"A. Ohori","year":"1990","unstructured":"Ohori, A.: Semantics of types for database objects. Theor. Comput. Sci. 76 (1990), 53\u201391.","journal-title":"Theor. Comput. Sci."},{"key":"16_CR24","first-page":"359","volume":"8","author":"E. Orlowska","year":"1985","unstructured":"Orlowska, E.: Logic approach to information systems. Fund. Inform. 8 (1985), 359\u2013378.","journal-title":"Fund. Inform."},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142ovska","year":"1984","unstructured":"Or\u0142ovska, E., Pawlak, Z.: Representation of nondeterministic information. Theoret. Comput. Sci. 29 (1984), 27\u201339.","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR26","first-page":"205","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems-theoretical foundations. Inform. Systems 6 (1981), 205\u2013218.","journal-title":"Systems"},{"key":"16_CR27","first-page":"561","volume":"33","author":"Z. Pawlak","year":"1985","unstructured":"Pawlak, Z., Rauszer, C.: Dependency of attributes in information systems. Bull. Polish. Acad. Sci. Math. 33 (1985), 561\u2013569.","journal-title":"Bull. Polish. Acad. Sci. Math."},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/PL00000333","volume":"46","author":"T. Plotkin","year":"2001","unstructured":"Plotkin, T., Plotkin, B.: Geometrical aspect of databases and knowledge bases. Algebra Univers. 46 (2001), 131\u2013161.","journal-title":"Algebra Univers."},{"key":"16_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-44669-9_5","volume-title":"FCT\u201901","author":"B. Plotkin","year":"2001","unstructured":"Plotkin, B., Plotkin, T.: Universal algebra and computer science. FCT\u201901, LNCS 2138 (2001), 35\u201344."},{"key":"16_CR30","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/FI-2000-43123415","volume":"43","author":"L. Polkowski","year":"2000","unstructured":"Polkowski, L., Skowron, A.: Rough mereology in information systems with applications to qualitative reasoning. Fund. Inform. 43 (2000), 291\u2013320.","journal-title":"Fund. Inform."},{"key":"16_CR31","first-page":"551","volume":"4","author":"Z. Ra\u015b","year":"1981","unstructured":"Ra\u015b, Z.: Information retrieval systems, an algebraic approach, I, II. Fund Inform. 4 (1981), 551\u2013603, 777-818.","journal-title":"Fund Inform."},{"key":"16_CR32","volume-title":"Automathic Information Organization and Retrieval","author":"G. Salton","year":"1968","unstructured":"Salton, G.: Automathic Information Organization and Retrieval. McGill, N.Y., 1968."},{"key":"16_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BFb0012801","volume-title":"Automata, Languages and Programs","author":"D.S. Scott","year":"1982","unstructured":"Scott, D.S.: Domains for denotational semantics. Automata, Languages and Programs, LNCS 173, 1982, 577\u2013613."},{"key":"16_CR34","volume-title":"WEB Deutscher Verl","author":"P.H. Starke","year":"1969","unstructured":"Starke, P.H.: Abstrakte Automaten. WEB Deutscher Verl. Wissensch., Berlin, 1969."},{"key":"16_CR35","unstructured":"Tsirulis, Ya..P.: Variations on the theme of quantum logic (in Russian). In: Algebra i Diskretnaya Matematika, Latv. State Univ., Riga, 1984, 146\u2013158."},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Vakarelov, D.: Consequence relations and information systems. In: R. Slowinski (ed.), Intelligent Decision Support. Handbook of Applications and Advances of Rough Sets Theory, Kluwer, 1992.","DOI":"10.1007\/978-94-015-7975-9_24"},{"key":"16_CR37","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF01053038","volume":"55","author":"D. Vakarelov","year":"1995","unstructured":"Vakarelov, D.: A duality between Pawlak\u2019s knowledge representation systems and BI-Consequence Systems. Stud. Log. 55 (1995), 205\u2013228.","journal-title":"Stud. Log."},{"key":"16_CR38","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"An introduction to event structures","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An introduction to event structures. LNCS 354 1989, 364\u2013397."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T11:59:13Z","timestamp":1587988753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}