Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings /: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. (2020)

• Record Type: Book
• Other Titles: FoIKS 2020
• Further Information: Note: Andreas Herzig, Juha Kontinen (eds.).
• Editors: Herzig, Andreas; Kontinen, Juha
• Other Names: FoIKS (Symposium), 11th
• Contents: Intro -- Preface -- Organization -- Abstracts of Invited Talks -- First-Order Logic of Information Flows: Expressibility, Primitivity, Input-Output Properties, and Limited Access Patterns -- Implicit Coordination of Mobile Agents -- Computation on Structures: Behavioural Theory, Logic and Complexity -- Description Logics for Typicality and Nonmonotonic Reasoning -- Contents -- Functional Dependencies in Incomplete Databases with Limited Domains -- 1 Introduction -- 2 Basic Definitions -- 2.1 Strongly Possible Worlds -- 2.2 NULL-Free Subschema -- 3 Related Work 4 Complexity of Strongly Possible Keys -- 5 Strongly Possible Functional Dependencies -- 5.1 Basic Properties of spFD's -- 6 Conclusions -- References -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- 1 Introduction -- 2 Background: Conditional Logic -- 3 Reduced Antecedentwise Normal Form -- 4 Transforming Knowledge Bases into Reduced ANF -- 5 Renamings and Renaming Normal Form (NF) -- 6 Generating Knowledge Bases in RANF and NF -- 6.1 Basic Algorithm KBbasicra -- 6.2 Improved Algorithm KBra -- 7 Conclusions and Further Work -- References On Matrices and K-Relations -- 1 Introduction -- 2 Annotated-Relation Algebra -- 3 Composition and Equivalence -- 3.1 Connection with FO(k) -- 4 Matrices -- 4.1 MATLANG -- 4.2 Simulating MATLANG in (ARA+2)(2) -- 4.3 Simulating (ARA+2)(2) in MATLANG -- 4.4 Relationship with ARA(3) and Complexity -- 5 Conclusion -- References -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- 1 Introduction -- 2 Syntax and Semantics -- 2.1 Syntax -- 2.2 Semantics -- 3 Rationality Conditions for Consolidations -- 3.1 Epistemic Autonomy Versus Epistemic Authority 3.2 Rationality Postulates -- 4 Social Consolidations -- 4.1 Preliminaries -- 4.2 Consolidation Policies -- 5 Dynamics -- 6 Related Work -- 7 Conclusions and Future Work -- References -- ASPARTIX-V19 -- An Answer-Set Programming Based System for Abstract Argumentation -- 1 Introduction -- 2 Preliminaries -- 2.1 Abstract Argumentation -- 2.2 Tracks of ICCMA'19 -- 3 The ASPARTIX System and Its V19 Edition -- 4 Implementation Details -- 4.1 Conditional Literals -- 4.2 Domain Heuristics -- 4.3 Multi-shot Methods -- 5 Discussion -- References Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- 1 Introduction -- 2 Polylogarithmic Time Complexity Classes -- 3 Logics for Polylogarithmic Time -- 4 Problems that Lead to Proper Hierarchies -- 5 Proper Hierarchies in Polylogarithmic Time -- 6 On Polylogarithmic-Time and Complete Problems -- 7 Concluding Remarks -- References -- Diversity, Dependence and Independence -- 1 Introduction -- 2 Diversity Rank in a General Setting -- 3 Examples -- 4 From Diversity to Dependence -- 5 From Diversity to Independence -- 5.1 Dependence/Independence Axioms -- 6 Conclusions
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.13/1; Computer systems -- Congresses; Logic, Symbolic and mathematical; Software engineering; Database management; Artificial intelligence; Computer logic; Knowledge representation (Information theory); Application software; Application software; Artificial intelligence; Computer logic; Computer systems; Database management; Knowledge representation (Information theory); Logic, Symbolic and mathematical; Software engineering; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030399511; 3030399516
• Related ISBNs: 3030399508; 9783030399504
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.