A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction
Hierarchic Superposition Revisited
Theory Combination: Beyond Equality Sharing
Initial Steps Towards a Family of Regular-Like Plan Description Logics
Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories
Strong Explanations for Nonmonotonic Reasoning
A KLM Perspective on Defeasible Reasoning for Description Logics
Temporal Logic Programs with Temporal Description Logic Axioms
The What-To-Ask Problem for Ontology-Based Peers
From Model Completeness to Verification of Data Aware Processes
Situation Calculus meets Description Logics
Provenance Analysis: A Perspective for Description Logics?
Extending EL^++ with Linear Constraints on the Probability of Axioms
Effective query answering with Ontologies and DBoxes
Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna
Perceptual Context in Cognitive Hierarchies
Do Humans Reason with E-Matchers?
Pseudo-contractions as gentle repairs
FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty
Temporally Attributed Description Logics
Explaining Axiom Pinpointing
Asymmetric Unification and Disunification
Building and Combining Matching Algorithms
Presburger Concept Cardinality Constraints in Very Expressive Description Logics
A Note on Unification, Subsumption and Unification Type
15 Years of Consequence-Based Reasoning
Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME
Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools
On Bounded-Memory Stream Data Processing with Description Logics.