Skip to main content
SpringerLink
Log in

Foundations of Information and Knowledge Systems

11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Andreas Herzig

    1. CNRS, University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juha Kontinen

    1. University of Helsinki, Helsinki, Finland

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

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: FoIKS 2020.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • 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 (19 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Functional Dependencies in Incomplete Databases with Limited Domains

    • Munqath Alattar, Attila Sali
    Pages 1-21

  3. Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings

    • Christoph Beierle, Jonas Haldimann
    Pages 22-41

  4. On Matrices and K-Relations

    • Robert Brijder, Marc Gyssens, Jan Van den Bussche
    Pages 42-57

  5. Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood

    • Yuri David Santos
    Pages 58-78

  6. ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation

    • Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
    Pages 79-89

  7. Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

    • Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José María Turull-Torres
    Pages 90-105

  8. Diversity, Dependence and Independence

    • Pietro Galliani, Jouko Väänänen
    Pages 106-121

  9. Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

    • Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić
    Pages 122-139

  10. Measuring Inconsistency in a General Information Space

    • John Grant, Francesco Parisi
    Pages 140-156

  11. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

    • Yasir Mahmood, Arne Meier
    Pages 157-174

  12. Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival

    • Dennis Medved, Johan Nilsson, Pierre Nugues
    Pages 175-190

  13. Game Description Logic with Integers: A GDL Numerical Extension

    • Munyque Mittelmann, Laurent Perrussel
    Pages 191-210

  14. Craig Interpolation of Epistemic Logics with Distributed Knowledge

    • Ryo Murai, Katsuhiko Sano
    Pages 211-221

  15. On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic

    • Stipe Pandžić
    Pages 222-241

  16. Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams

    • Elena V. Ravve
    Pages 242-262

  17. Realisability of Choreographies

    • Klaus-Dieter Schewe, Yamine Aït-Ameur, Sarah Benyagoub
    Pages 263-280

  18. Schema Optimisation Instead of (Local) Normalisation

    • Bernhard Thalheim
    Pages 281-300

  19. Strongly Minimal MapReduce Algorithms: A TeraSort Case Study

    • Daniel Xia, Michael Simpson, Venkatesh Srinivasan, Alex Thomo
    Pages 301-317

  20. Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences

    • Xianglin Zhan, Cai Lu, Guangmin Hu
    Pages 318-333
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.


The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.​

Editors and Affiliations

  • CNRS, University of Toulouse, Toulouse, France

    Andreas Herzig

  • University of Helsinki, Helsinki, Finland

    Juha Kontinen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation