Foundations of Information and Knowledge Systems

7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

  • Thomas Lukasiewicz
  • Attila Sali
Conference proceedings FoIKS 2012

DOI: 10.1007/978-3-642-28472-4

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
      Pages 1-22
  3. Regular Articles

    1. Joachim Biskup, Cornelia Tadros
      Pages 51-70
    2. Luciano Caroprese, Ester Zumpano
      Pages 91-106
    3. Andrea Cohen, Alejandro J. García, Guillermo R. Simari
      Pages 107-123
    4. George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren et al.
      Pages 124-143
    5. Eve Garnaud, Sofian Maabout, Mohamed Mosbah
      Pages 144-163
    6. Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim
      Pages 164-183
    7. Gyula O. H. Katona, Krisztián Tichler
      Pages 203-223
    8. András J. Molnár, András A. Benczúr, Csaba István Sidló
      Pages 244-263
    9. Aleksandar Perović, Dragan Doder, Zoran Ognjanović
      Pages 264-277
    10. Krishnan Rajagopalan, Venkatesh Srinivasan, Alex Thomo
      Pages 298-311
    11. Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
      Pages 312-331
    12. Martín Rezk, Michael Kifer
      Pages 332-351

About these proceedings

Introduction

This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012.
The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.

Keywords

model checking multi-agent systems nonmonotonic reasoning ontology semantic Web

Editors and affiliations

  • Thomas Lukasiewicz
    • 1
  • Attila Sali
    • 2
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUK
  2. 2.Alfréd Rényi InstituteHungarian Academy of SciencesBudapestHungary

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28471-7
  • Online ISBN 978-3-642-28472-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349