Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.).
Material type:
TextSeries: Serienbezeichnung | Lecture notes in computer science ; 2284.Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002. Description: 1 online resource (x, 287 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540457589; 3540457585Other title: FoIKS 2002Subject(s): Computer science -- Mathematics -- Congresses | Databases -- Congresses | Computer science -- Mathematics | DatabasesGenre/Form: Electronic book. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedingsDDC classification: 006.3/3 LOC classification: QA75.5Other classification: 54.61 | SS 4800 | 28 | DAT 703f | DAT 600f Online resources: Click here to access online | Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
eBook
|
e-Library
Electronic Book@IST |
EBook | Available |
Includes bibliographical references and index.
Print version record.
This book constitutes the refereed proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2002, held at Salzau Castle, Germany in February 2002. The 17 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. All current issues on the foundations and mathematics of advanced information systems and knowledge processing are addressed.
Modeling 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.