Foundations of Information and Knowledge Systems

9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

  • Marc Gyssens
  • Guillermo Simari
Conference proceedings FoIKS 2016

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

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 9616)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency

    1. Front Matter
      Pages 1-1
    2. Kim Bauters, Weiru Liu, Lluís Godo
      Pages 24-41
    3. Olivier Pivert, Henri Prade
      Pages 42-61
  3. Inference and Problem Solving

    1. Front Matter
      Pages 63-63
    2. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
      Pages 65-82
    3. Bernhard Bliem, Stefan Woltran
      Pages 95-111
  4. Querying and Pattern Mining

    1. Front Matter
      Pages 113-113
    2. Thomas Van Brussel, Emmanuel Müller, Bart Goethals
      Pages 131-148
    3. Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
      Pages 149-168
    4. Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Šimkus, Sebastian Skritek
      Pages 169-190
  5. Dealing with Knowledge

    1. Front Matter
      Pages 209-209
    2. Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
      Pages 235-254
    3. Pooya Moradian Zadeh, Ziad Kobti
      Pages 255-268
  6. Logics and Complexity

    1. Front Matter
      Pages 269-269
    2. Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
      Pages 271-291
    3. José Maria Turull-Torres
      Pages 311-333
    4. Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
      Pages 334-354
  7. Back Matter
    Pages 355-355

About these proceedings


This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity.


complexity data mining data security ontology semantic Web argumentation belief revision conditional logics data clustering database query declarative problem solving integrity constraint knowledge base logics for abstract state machines non-monotonic reasoning possibility theory probabilistic logics schema evolution semantic matching social network

Editors and affiliations

  • Marc Gyssens
    • 1
  • Guillermo Simari
    • 2
  1. 1.Faculteit WetenschappenUniversiteit HasseltHasseltBelgium
  2. 2.Dept. Ciencias Ingeniería ComputaciónUniversidad Nacional del SurBahía BlancaArgentina

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-30023-8
  • Online ISBN 978-3-319-30024-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software