Foundations of Information and Knowledge Systems Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings /

This 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 in...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Eiter, Thomas (Editor, http://id.loc.gov/vocabulary/relators/edt), Schewe, Klaus-Dieter (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:Lecture Notes in Computer Science, 2284
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.