LEADER 06088nam 22008055 450 001 9910143914103321 005 20240327172544.0 010 $a3-540-45758-5 024 7 $a10.1007/3-540-45758-5 035 $a(CKB)1000000000211684 035 $a(SSID)ssj0000323264 035 $a(PQKBManifestationID)11272574 035 $a(PQKBTitleCode)TC0000323264 035 $a(PQKBWorkID)10299236 035 $a(PQKB)10880479 035 $a(DE-He213)978-3-540-45758-9 035 $a(MiAaPQ)EBC3072241 035 $a(PPN)155224247 035 $a(EXLCZ)991000000000211684 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $eSecond International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings /$fedited by Thomas Eiter, Klaus-Dieter Schewe 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 294 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2284 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43220-5 320 $aIncludes bibliographical references and index. 327 $aModeling Paraconsistent Reasoning by Classical Logic -- Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations -- Controlled Query Evaluation for Known Policies by Combining Lying and Refusal -- A Logical Framework for Integrating Inconsistent Information in Multiple Databases -- Functional Dependencies in Presence of Errors -- A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic -- The Principle of Conditional Preservation in Belief Revision -- Query Rewriting with Symmetric Constraints -- A Privacy-Enhanced Microaggregation Method -- Towards a Tailored Theory of Consistency Enforcement in Databases -- Improving Supervised Learning by Feature Decomposition -- Extremal Theorems for Databases -- Relational Databases and Homogeneity in Logics with Counting -- Uniqueness of Update Strategies for Database Views -- Knowledge Representation in Extended Pawlak?s Information Systems: Algebraic Aspects -- Minimal Sample Databases for Global Cardinality Constraints. 330 $aThis volume contains the papers presented at the ?Second International S- posium on Foundations of Information and Knowledge Systems? (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series ?Mathematical Fundamentals of Database S- tems? (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2284 606 $aDatabase management 606 $aData structures (Computer science) 606 $aComputer engineering 606 $aInformation storage and retrieval 606 $aApplication software 606 $aArtificial intelligence 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aDatabase management. 615 0$aData structures (Computer science). 615 0$aComputer engineering. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aDatabase Management. 615 24$aData Structures and Information Theory. 615 24$aComputer Engineering. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aArtificial Intelligence. 676 $a006.3/3 702 $aEiter$b Thomas$f1966-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143914103321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA