Foundations of Information and Knowledge Systems

Chapter 1 Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of  $$\mathcal{E}\mathcal{L}^\bot $$ Ontologies

Chapter 2 Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

Chapter 3 Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies

Chapter 4 Minimal Armstrong Databases for Cardinality Constraints

Chapter 5 Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference

Chapter 6 Core c-Representations and c-Core Closure for Conditional Belief Bases

Chapter 7 On Naive Labellings – Realizability, Construction and Patterns of Redundancy

Chapter 8 Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin

Chapter 9 Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling

Chapter 10 Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems

Chapter 12 Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence

Chapter 13 A Complete Fragment of LTL(EB)

Chapter 14 Decomposing Analogy: A Logic Characterization

Chapter 15 A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL

Chapter 16 An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier

Chapter 18 How to Manage Supports in Incomplete Argumentation

Chapter 19 Constrained Derivation in Assumption-Based Argumentation

Chapter 20 Model-Based Diagnosis with ASP for Non-groundable Domains

Chapter 21 Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization