Optimal Repairs in the Description Logic EL Revisited (abstract)

Non-Normal Modal Description Logics (abstract)

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets (abstract)

Optimal Planning with Expressive Action Languages as Constraint Optimization (abstract)

Succinct Planning with Partial Observability by SAT (abstract)

DELPHIC: Practical DEL Planning via Possibilities (abstract)

Plan Selection Framework for Policy-Aware Autonomous Agents (abstract)

Enhancing Temporal Planning by Sequential Macro-actions (abstract)

Robust Alternating-Time Temporal Logic (abstract)

Past-present Temporal Logic Programs over Finite Traces (abstract)

Concept Combination in Weighted DL (abstract)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (abstract)

Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies (abstract)

The Universal Tangle for Spatial Reasoning (abstract)

A Principle-Based Analysis of Bipolar Argumentation Semantics (abstract)

Reasoning in Assumption-based Argumentation using Tree-decompositions (abstract)

Weak Argumentation Semanticsand Unsafe Odd Cycles: Results and a Conjecture (abstract)

On the Expressive Power of Assumption-Based Argumentation (abstract)

Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis (abstract)

Combining Symbolic and Machine Learning Approaches for Automating Legal Reasoning (abstract)

Logics with Probabilistic Team Semantics and the Boolean Negation (abstract)

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals (abstract)

Boosting Definability Bipartition Computation using SAT Witnesses (abstract)

Formalizing Statistical Causality via Modal Logic (abstract)

Hybrid Modal Operators for Definite Descriptions (abstract)

Deterministic Weighted Automata under Partial Observability (abstract)

Data Graphs with Incomplete Information (and a Way to Complete Them) (abstract)

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations (abstract)

Belief Reconfiguration (abstract)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem (abstract)

Non-standard Modalities in Paraconsistent Gödel Logic (abstract)

Base-based Model Checking for Multi-Agent Only Believing (abstract)

Excursions in First-order Logic and Probability: Infinitely many Random Variables, Continuous Distributions, Recursive Programs and Beyond (abstract)

A New Class of Explanations for Classifiers with Non-Binary Features (abstract)

Declarative Reasoning on Explanations Using Constraint Logic Programming (abstract)

Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation (abstract)

Short Boolean Formulas as Explanations in Practice (abstract)

Contrastive Explanations for Answer-Set Programs (abstract)

Stable Normative Explanations: From Argumentation to Deontic Logic (abstract)

Logic, Accountability and Design (abstract)

Generative Datalog and Answer Set Programming (abstract)

Comparing Planning Domain Models using Answer Set Programming (abstract)

Hybrid ASP-based Multi-objective Scheduling of Semiconductor Manufacturing Processes (abstract)

On Heuer’s Procedure for Verifying Strong Equivalence (abstract)

Hamiltonian Cycle Reconfiguration with Answer Set Programming (abstract)

recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming (abstract)

Categorical Approximation Fixpoint Theory (abstract)

Deontic Equilibrium Logic with eXplicit Negation (abstract)

Truth and Preferences - A Game Approach for Qualitative Choice Logic (abstract)

Rational Closure Extension in SPO Representable Inductive Inference Operators (abstract)

Deciding Subsumption in Defeasible ELI⊥ with Typicality Models (abstract)

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-valued Weighted Knowledge Bases (abstract)

Computing MUS-Based Inconsistency Measures (abstract)

Towards Systematic Treatment of Partial Functions in Knowledge Representation (abstract)

First Steps Towards Taming Description Logics with Strings (abstract)

Beyond ALC_reg: Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features (abstract)