Foundations of Information and Knowledge Systems

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

AvAndreas Herzig,Juha Kontinen

Häftad, Engelska, 2020

Del 12012 i serien Lecture Notes in Computer Science

558 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2020-01-29
Mått:155 x 235 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:335
Förlag:Springer Nature Switzerland AG
ISBN:9783030399504

Utforska kategorier

Innehållsförteckning

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.