Skip to main content
SpringerLink
Log in

Foundations of Information and Knowledge Systems

4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Jürgen Dix

    1. Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stephen J. Hegner

    1. Department of Computing Science, Umeå University, Umeå, Sweden

    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 3861)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: FoIKS 2006.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Presentation

    1. The Semijoin Algebra

      • Jan Van den Bussche
      Pages 1-1

  3. Regular Papers

    1. Equational Constraint Solving Via a Restricted Form of Universal Quantification

      • Javier Álvez, Paqui Lucio
      Pages 2-21

    2. Modeling the Evolution of Objects in Temporal Information Systems

      • A. Artale, C. Parent, S. Spaccapietra
      Pages 22-42

    3. Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel

      • Joachim Biskup, Piero Bonatti
      Pages 43-62

    4. Iterative Modification and Incremental Evaluation of Preference Queries

      • Jan Chomicki
      Pages 63-82

    5. On the Number of Independent Functional Dependencies

      • János Demetrovics, Gyula O. H. Katona, Dezső Miklós, Bernhard Thalheim
      Pages 83-91

    6. Arity and Alternation: A Proper Hierarchy in Higher Order Logics

      • Flavio A. Ferrarotti, José M. Turull Torres
      Pages 92-115

    7. Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results

      • Gianluigi Greco
      Pages 116-136

    8. The Nested List Normal Form for Functional and Multivalued Dependencies

      • Sven Hartmann, Sebastian Link
      Pages 137-158

    9. Axiomatising Functional Dependencies for XML with Frequencies

      • Sven Hartmann, Thu Trinh
      Pages 159-178

    10. Guarded Open Answer Set Programming with Generalized Literals

      • Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 179-200

    11. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

      • Ian Horrocks, Andrei Voronkov
      Pages 201-218

    12. Consistency Checking Algorithms for Restricted UML Class Diagrams

      • Ken Kaneiwa, Ken Satoh
      Pages 219-239

    13. Some Contributions to the Minimum Representation Problem of Key Systems

      • Gyula O. H. Katona, Krisztián Tichler
      Pages 240-257

    14. On Multivalued Dependencies in Fixed and Undetermined Universes

      • Sebastian Link
      Pages 258-277

    15. Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context

      • Nicolas Spyratos, Carlo Meghini
      Pages 278-293

    16. Processing Ranked Queries with the Minimum Space

      • Yufei Tao, Marios Hadjieleftheriou
      Pages 294-312

    17. Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm

      • Agnes Vathy-Fogarassy, Attila Kiss, Janos Abonyi
      Pages 313-330

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Keywords

Editors and Affiliations

  • Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  • Department of Computing Science, Umeå University, Umeå, Sweden

    Stephen J. Hegner

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation