Skip to main content
SpringerLink
Log in

Foundations of Information and Knowledge Systems

Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Thomas Eiter

    1. Institute of Information Systems (E814), Technical University of Vienna, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus-Dieter Schewe

    1. Department of Information Systems, Massey University, Palmerston North, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2284)

Included in the following conference series:

Conference proceedings info: FoIKS 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Modeling Paraconsistent Reasoning by Classical Logic

    • Ofer Arieli, Marc Denecker
    Pages 1-14

  3. Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings

    • R. N. Banerjee, A. Bujosa
    Pages 15-31

  4. Analytic Tableaux and Database Repairs: Foundations

    • Leopoldo Bertossi, Camilla Schwind
    Pages 32-48

  5. Controlled Query Evaluation for Known Policies by Combining Lying and Refusal

    • Joachim Biskup, Piero Bonatti
    Pages 49-66

  6. A Logical Framework for Integrating Inconsistent Information in Multiple Databases

    • Sandra de Amo, Walter A. Carnielli, João Marcos
    Pages 67-84

  7. Functional Dependencies in Presence of Errors

    • János Demetrovics, Gyula O.H. Katona, Dezső Miklós
    Pages 85-92

  8. A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic

    • V.N. Huynh, Y. Nakamori, T.B. Ho, G. Resconi
    Pages 93-104

  9. The Principle of Conditional Preservation in Belief Revision

    • Gabriele Kern-Isberner
    Pages 105-129

  10. Query Rewriting with Symmetric Constraints

    • Christoph Koch
    Pages 130-147

  11. A Privacy-Enhanced Microaggregation Method

    • Yingjiu Li, Sencun Zhu, Lingyu Wang, Sushil Jajodia
    Pages 148-159

  12. Towards a Tailored Theory of Consistency Enforcement in Databases

    • Sebastian Link
    Pages 160-177

  13. Improving Supervised Learning by Feature Decomposition

    • Oded Maimon, Lior Rokach
    Pages 178-196

  14. Extremal Theorems for Databases

    • Krisztián Tichler
    Pages 197-211

  15. Relational Databases and Homogeneity in Logics with Counting

    • José María Turull Torres
    Pages 212-229

  16. Uniqueness of Update Strategies for Database Views

    • Stephen J. Hegner
    Pages 230-249

  17. Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects

    • Jānis Cīrulis
    Pages 250-267

  18. Minimal Sample Databases for Global Cardinality Constraints

    • Konrad Engel, Sven Hartmann
    Pages 268-287

  19. Back Matter

    Pages 289-289
    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Keywords

About this book

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

Editors and Affiliations

  • Institute of Information Systems (E814), Technical University of Vienna, Wien, Austria

    Thomas Eiter

  • Department of Information Systems, Massey University, Palmerston North, New Zealand

    Klaus-Dieter Schewe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation