Buch, Englisch, Band 12012, 335 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 540 g
11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
Buch, Englisch, Band 12012, 335 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 540 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-39950-4
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
