Foundations of Information and Knowledge Systems

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

  • Jürgen Dix
  • Stephen J. Hegner
Conference proceedings FoIKS 2006

DOI: 10.1007/11663881

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

Table of contents

  1. Front Matter
  2. Invited Presentation

    1. Jan Van den Bussche
      Pages 1-1
  3. Regular Papers

    1. A. Artale, C. Parent, S. Spaccapietra
      Pages 22-42
    2. János Demetrovics, Gyula O. H. Katona, Dezső Miklós, Bernhard Thalheim
      Pages 83-91
    3. Flavio A. Ferrarotti, José M. Turull Torres
      Pages 92-115
    4. Sven Hartmann, Thu Trinh
      Pages 159-178
    5. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 179-200
    6. Gyula O. H. Katona, Krisztián Tichler
      Pages 240-257
    7. Yufei Tao, Marios Hadjieleftheriou
      Pages 294-312
    8. Agnes Vathy-Fogarassy, Attila Kiss, Janos Abonyi
      Pages 313-330
  4. Back Matter

About these proceedings

Keywords

Unified Modeling Language (UML) XML complexity database design database logics database queries finite model theory formal logics formal reasoning information systems logic logic programming logical foundations modeling programming

Editors and affiliations

  • Jürgen Dix
    • 1
  • Stephen J. Hegner
    • 2
  1. 1.Clausthal University of TechnologyClausthal-ZellerfeldGermany
  2. 2.Department of Computing ScienceUmeå UniversityUmeåSweden

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-31782-1
  • Online ISBN 978-3-540-31784-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349