Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings / edited by Andreas Herzig, Juha Kontinen.

Format:

Book

Contributor:

Herzig, Andreas, 1949- editor.

Kontinen, Juha, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI ; SL 3, 12012.

Information Systems and Applications, incl. Internet/Web, and HCI ; 12012

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Software engineering.

Database management.

Artificial intelligence.

Computer logic.

Knowledge representation (Information theory).

Application software.

Mathematical Logic and Formal Languages.

Software Engineering/Programming and Operating Systems.

Database Management.

Logic in AI.

Knowledge based Systems.

Computer Appl. in Administrative Data Processing.

Local Subjects:

Mathematical Logic and Formal Languages.

Software Engineering/Programming and Operating Systems.

Database Management.

Logic in AI.

Knowledge based Systems.

Computer Appl. in Administrative Data Processing.

Physical Description:

1 online resource (XVIII, 335 pages) : 656 illustrations, 13 illustrations in color.

Edition:

First edition 2020.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2020.

System Details:

text file PDF

Summary:

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.

Contents:

Functional Dependencies in Incomplete Databases With Limited Domains

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings

On matrices and K-relations

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

ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

Diversity, Dependence and Independence

Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case

Measuring Inconsistency in a General Information Space

Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic

Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival

Game Description Logic with Integers: A GDL Numerical Extension

Craig Interpolation of Epistemic Logics with Distributed Knowledge

On the dynamics of structured argumentation: Modeling changes in default justication logic

Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams

Realisability of Choreographies

Schema Optimisation Instead Of (Local) Normalisation

Strongly Minimal MapReduce Algorithms: A TeraSort Case Study

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

Other Format:

Printed edition:

ISBN:

978-3-030-39951-1

9783030399511

Access Restriction:

Restricted for use by site license.