國立虎尾科技大學 |

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Foundations of Information and Knowledge Systems/ edited by Andreas Herzig, Juha Kontinen.
其他題名:	11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
其他作者:	Kontinen, Juha.
面頁冊數:	XVIII, 335 p. 656 illus., 13 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer Appl. in Administrative Data Processing. -
電子資源:	https://doi.org/10.1007/978-3-030-39951-1
ISBN:	9783030399511

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
Foundations of Information and Knowledge Systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /[electronic resource] :edited by Andreas Herzig, Juha Kontinen. - 1st ed. 2020. - XVIII, 335 p. 656 illus., 13 illus. in color.online resource. - Information Systems and Applications, incl. Internet/Web, and HCI ;12012. - Information Systems and Applications, incl. Internet/Web, and HCI ;9149.

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.

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.

ISBN: 9783030399511

Standard No.: 10.1007/978-3-030-39951-1doiSubjects--Topical Terms:

669633
Computer Appl. in Administrative Data Processing.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 005.131

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
LDR:03703nam a22004095i 4500 001 1018053
003 DE-He213
005 20200630165033.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030399511 $9 978-3-030-39951-1
024 7 $a 10.1007/978-3-030-39951-1 $2 doi
035 $a 978-3-030-39951-1
050 4 $a QA8.9-10.3
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
245 1 0 $a Foundations of Information and Knowledge Systems $h [electronic resource] : $b 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / $c edited by Andreas Herzig, Juha Kontinen.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVIII, 335 p. 656 illus., 13 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Information Systems and Applications, incl. Internet/Web, and HCI ; $v 12012
505 0 $a 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.
520 $a 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.
650 2 4 $a Computer Appl. in Administrative Data Processing. $3 669633
650 2 4 $a Knowledge based Systems. $3 1226866
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Database Management. $3 669820
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 0 $a Application software. $3 528147
650 0 $a Knowledge representation (Information theory) . $3 1281840
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Database management. $3 557799
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
700 1 $a Kontinen, Juha. $e editor. $1 https://orcid.org/0000-0003-0115-5154 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1268747
700 1 $a Herzig, Andreas. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883188
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030399504
776 0 8 $i Printed edition: $z 9783030399528
830 0 $a Information Systems and Applications, incl. Internet/Web, and HCI ; $v 9149 $3 1253558
856 4 0 $u https://doi.org/10.1007/978-3-030-39951-1
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)