Advertisement

Table of contents

  1. Front Matter
    Pages I-XVIII
    PDF

  2. Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency

    1. Front Matter
      Pages 1-1
      PDF
    2. A Study of Argument Acceptability Dynamics Through Core and Remainder Sets
      Martín O. Moguillansky
      Pages 3-23
    3. Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs
      Kim Bauters, Weiru Liu, Lluís Godo
      Pages 24-41
    4. Possibilistic Conditional Tables
      Olivier Pivert, Henri Prade
      Pages 42-61

  3. Inference and Problem Solving

    1. Front Matter
      Pages 63-63
      PDF
    2. Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
      Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
      Pages 65-82
    3. Systems and Implementations for Solving Reasoning Problems in Conditional Logics
      Christoph Beierle
      Pages 83-94
    4. Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
      Bernhard Bliem, Stefan Woltran
      Pages 95-111

  4. Querying and Pattern Mining

    1. Front Matter
      Pages 113-113
      PDF
    2. A k-Means-Like Algorithm for Clustering Categorical Data Using an Information Theoretic-Based Dissimilarity Measure
      Thu-Hien Thi Nguyen, Van-Nam Huynh
      Pages 115-130
    3. Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes
      Thomas Van Brussel, Emmanuel Müller, Bart Goethals
      Pages 131-148
    4. Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches
      Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
      Pages 149-168
    5. The Challenge of Optional Matching in SPARQL
      Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Šimkus, Sebastian Skritek
      Pages 169-190
    6. Maintenance of Queries Under Database Changes: A Unified Logic Based Approach
      Elena V. Ravve
      Pages 191-208

  5. Dealing with Knowledge

    1. Front Matter
      Pages 209-209
      PDF
    2. Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution
      Joachim Biskup
      Pages 211-234
    3. Integrity Constraints for General-Purpose Knowledge Bases
      Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
      Pages 235-254
    4. A Knowledge Based Framework for Link Prediction in Social Networks
      Pooya Moradian Zadeh, Ziad Kobti
      Pages 255-268

  6. Logics and Complexity

    1. Front Matter
      Pages 269-269
      PDF
    2. Approximation and Dependence via Multiteam Semantics
      Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
      Pages 271-291
    3. The Complexity of Non-Iterated Probabilistic Justification Logic
      Ioannis Kokkinis
      Pages 292-310
    4. Relational Complexity and Higher Order Logics
      José Maria Turull-Torres
      Pages 311-333
    5. A Logic for Non-deterministic Parallel Abstract State Machines
      Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
      Pages 334-354
  7. Back Matter
    Pages 355-355
    PDF

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-30024-5
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • 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