000 04708nam a22006255i 4500
001 978-3-030-39951-1
003 DE-He213
005 20240730164940.0
007 cr nn 008mamaa
008 200128s2020 sz | s |||| 0|eng d
020 _a9783030399511
_9978-3-030-39951-1
024 7 _a10.1007/978-3-030-39951-1
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aFoundations of Information and Knowledge Systems
_h[electronic resource] :
_b11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings /
_cedited by Andreas Herzig, Juha Kontinen.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXVIII, 335 p. 656 illus., 13 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v12012
505 0 _aFunctional 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.
520 _aThis 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.
650 0 _aMachine theory.
_986793
650 0 _aSoftware engineering.
_94138
650 0 _aDatabase management.
_93157
650 0 _aLogic programming.
_92730
650 0 _aExpert systems (Computer science).
_93392
650 0 _aInformation technology
_xManagement.
_95368
650 1 4 _aFormal Languages and Automata Theory.
_986796
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aDatabase Management.
_93157
650 2 4 _aLogic in AI.
_933012
650 2 4 _aKnowledge Based Systems.
_979172
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
700 1 _aHerzig, Andreas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_986799
700 1 _aKontinen, Juha.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_986800
710 2 _aSpringerLink (Online service)
_986802
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030399504
776 0 8 _iPrinted edition:
_z9783030399528
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v12012
_986804
856 4 0 _uhttps://doi.org/10.1007/978-3-030-39951-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86008
_d86008