東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Foundations of information and knowl...

FoIKS (Symposium) (2020 :)

FindBook

Google Book

Amazon

博客來

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 /
其他題名:	FoIKS 2020
其他作者:	Herzig, Andreas.
團體作者:	FoIKS (Symposium)
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xviii, 335 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Computer systems - Congresses. -
電子資源:	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] :FoIKS 2020edited by Andreas Herzig, Juha Kontinen. - Cham :Springer International Publishing :2020. - xviii, 335 p. :ill., digital ;24 cm. - Lecture notes in computer science,120120302-9743 ;. - Lecture notes in computer science ;12012..

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:

596486
Computer systems
--Congresses.

LC Class. No.: QA75.5 / .F65 2020

Dewey Class. No.: 005.131

Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings /
LDR:03427nmm a2200361 a 4500 001 2215557
003 DE-He213
005 20200129171142.0
006 m d
007 cr nn 008maaau
008 201120s2020 sz s 0 eng d
020 $a 9783030399511 $q (electronic bk.)
020 $a 9783030399504 $q (paper)
024 7 $a 10.1007/978-3-030-39951-1 $2 doi
035 $a 978-3-030-39951-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA75.5 $b .F65 2020
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
090 $a QA75.5 $b .F658 2020
111 2 $a FoIKS (Symposium) $n (11th : $d 2020 : $c Dortmund, Germany) $3 3447194
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.
246 3 $a FoIKS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xviii, 335 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12012
490 1 $a Information systems and applications, incl. internet/web, and HCI
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 0 $a Computer systems $v Congresses. $3 596486
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 0 $a Software engineering. $3 559826
650 0 $a Database management. $3 527442
650 0 $a Artificial intelligence. $3 516317
650 0 $a Computer logic. $3 840463
650 0 $a Knowledge representation (Information theory) $3 539449
650 0 $a Application software. $3 527258
650 1 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Database Management. $3 891010
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Knowledge based Systems. $3 3385204
650 2 4 $a Computer Appl. in Administrative Data Processing. $3 892567
700 1 $a Herzig, Andreas. $3 1620658
700 1 $a Kontinen, Juha. $3 3447195
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 12012. $3 3447196
830 0 $a Information systems and applications, incl. internet/web, and HCI. $3 3382505
856 4 0 $u https://doi.org/10.1007/978-3-030-39951-1
950 $a Computer Science (Springer-11645)