Abstract is missing.
- Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ OntologiesFranz Baader, Francesco Kriegel, Adrian Nuradiansyah. 3-22 [doi]
- Computing Repairs Under Functional and Inclusion Dependencies via ArgumentationYasir Mahmood 0002, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo. 23-42 [doi]
- Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional DependenciesJoachim Biskup. 45-63 [doi]
- Minimal Armstrong Databases for Cardinality ConstraintsBence Király, Attila Sali. 64-81 [doi]
- Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-InferenceJonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner. 85-103 [doi]
- Core c-Representations and c-Core Closure for Conditional Belief BasesMarco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle. 104-122 [doi]
- On Naive Labellings - Realizability, Construction and Patterns of RedundancyRingo Baumann, Anne-Marie Heine. 125-143 [doi]
- Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same CoinKai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner. 144-162 [doi]
- Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication ModelingGiorgio Cignarale, Roman Kuznets, Thomas Schlögl. 165-181 [doi]
- Scaling up Nonmonotonic c-Inference via Partial MaxSAT ProblemsMartin von Berg, Arthur Sanin, Christoph Beierle. 182-200 [doi]
- On the Logic of Interventionist Counterfactuals Under Indeterministic Causal LawsFausto Barbero. 203-221 [doi]
- Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution EquivalenceMinna Hirvonen. 222-234 [doi]
- A Complete Fragment of LTL(EB)Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur. 237-255 [doi]
- Decomposing Analogy: A Logic CharacterizationMena Leemhuis, Diedrich Wolter, Özgür L. Özçep. 256-274 [doi]
- A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTLJuha Kontinen, Max Sandström, Jonni Virtema. 275-286 [doi]
- An Investigation of the Negationless Fragment of the Rescher-Härtig quantifierThomas L. Mayer. 287-297 [doi]
- f Goal SpecificationsGiuseppe De Giacomo, Marco Favorito, Luciana Silo. 298-316 [doi]
- How to Manage Supports in Incomplete ArgumentationMarie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel. 319-339 [doi]
- Constrained Derivation in Assumption-Based ArgumentationGiovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran. 340-359 [doi]
- Model-Based Diagnosis with ASP for Non-groundable DomainsMoritz Bayerkuhnlein, Diedrich Wolter. 363-380 [doi]
- Integrating Competencies into Preventive Maintenance Scheduling with Answer Set OptimizationAnssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen. 381-400 [doi]