Skip to main content
SpringerLink
Log in

Foundations of Information and Knowledge Systems

13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Arne Meier

    1. Leibniz University Hannover, Hanover, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Magdalena Ortiz

    1. TU Wien, Wien, Austria

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

Included in the following conference series:

Conference proceedings info: FoIKS 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 59.99
Price excludes VAT (USA)
This title has not yet been released. You may pre-order it now and we will ship your order when it is published on 29 Apr 2024.
  • Compact, lightweight edition
  • 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 (21 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Repairs

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of \(\mathcal{E}\mathcal{L}^\bot \) Ontologies

      • Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
      Pages 3-22

    3. Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

      • Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
      Pages 23-42

  3. Dependencies and Constraints

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies

      • Joachim Biskup
      Pages 45-63

    3. Minimal Armstrong Databases for Cardinality Constraints

      • Bence Király, Attila Sali
      Pages 64-81

  4. Beliefs

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference

      • Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
      Pages 85-103

    3. Core c-Representations and c-Core Closure for Conditional Belief Bases

      • Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
      Pages 104-122

  5. Knowledge Representation and Reasoning

    1. Front Matter

      Pages 123-123
      Download chapter PDF

    2. On Naive Labellings – Realizability, Construction and Patterns of Redundancy

      • Ringo Baumann, Anne-Marie Heine
      Pages 125-143

    3. Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin

      • Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
      Pages 144-162

  6. Nonmonotonicity

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling

      • Giorgio Cignarale, Roman Kuznets, Thomas Schlögl
      Pages 165-181

    3. Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems

      • Martin von Berg, Arthur Sanin, Christoph Beierle
      Pages 182-200

  8. Logics and Semantics

    1. Front Matter

      Pages 235-235
      Download chapter PDF
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Keywords

About this book

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics, and optimization.

Editors and Affiliations

  • Leibniz University Hannover, Hanover, Germany

    Arne Meier

  • TU Wien, Wien, Austria

    Magdalena Ortiz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation