Abstract is missing.
- A Tour of Franz Baader's Contributions to Knowledge Representation and Automated DeductionCarsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter. 1-14 [doi]
- Hierarchic Superposition RevisitedPeter Baumgartner 0001, Uwe Waldmann. 15-56 [doi]
- Theory Combination: Beyond Equality SharingMaria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli. 57-89 [doi]
- Initial Steps Towards a Family of Regular-Like Plan Description LogicsAlexander Borgida. 90-109 [doi]
- Eℒ_\bot Contextualized Knowledge RepositoriesLoris Bozzato, Thomas Eiter, Luciano Serafini. 110-134 [doi]
- Strong Explanations for Nonmonotonic ReasoningGerhard Brewka, Markus Ulbricht. 135-146 [doi]
- A KLM Perspective on Defeasible Reasoning for Description LogicsKatarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak. 147-173 [doi]
- Temporal Logic Programs with Temporal Description Logic AxiomsPedro Cabalar, Torsten Schaub. 174-186 [doi]
- The What-To-Ask Problem for Ontology-Based PeersDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 187-211 [doi]
- From Model Completeness to Verification of Data Aware ProcessesDiego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. 212-239 [doi]
- Situation Calculus Meets Description LogicsJens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß. 240-265 [doi]
- Provenance Analysis: A Perspective for Description Logics?Katrin M. Dannert, Erich Grädel. 266-285 [doi]
- Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of AxiomsMarcelo Finger. 286-300 [doi]
- Effective Query Answering with Ontologies and DBoxesEnrico Franconi, Volha Kerhet. 301-328 [doi]
- Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and PolyannaOlga Gerasimova, Stanislav Kikot, Michael Zakharyaschev. 329-351 [doi]
- Perceptual Context in Cognitive HierarchiesBernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher. 352-366 [doi]
- E -Matchers?Steffen Hölldobler. 367-384 [doi]
- Pseudo-contractions as Gentle RepairsVinícius Bitencourt Matos, Ricardo Ferreira Guimarães, Yuri David Santos, Renata Wassermann. 385-403 [doi]
- FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data SourcesStephanie McIntyre, David Toman, Grant E. Weddell. 404-430 [doi]
- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination UncertaintyBernhard Nebel. 431-440 [doi]
- Temporally Attributed Description LogicsAna Ozaki, Markus Krötzsch, Sebastian Rudolph. 441-474 [doi]
- Explaining Axiom PinpointingRafael Peñaloza. 475-496 [doi]
- Asymmetric Unification and DisunificationVeena Ravishankar, Kimberly A. Cornell, Paliath Narendran. 497-522 [doi]
- Building and Combining Matching AlgorithmsChristophe Ringeissen. 523-541 [doi]
- Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando"Johann" Sebastian Rudolph. 542-561 [doi]
- A Note on Unification, Subsumption and Unification TypeManfred Schmidt-Schauß. 562-572 [doi]
- 15 Years of Consequence-Based ReasoningDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. 573-587 [doi]
- Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$Marco Wilhelm, Gabriele Kern-Isberner. 588-609 [doi]
- Automating Automated Reasoning - The Case of Two Generic Automated Reasoning ToolsYoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky. 610-638 [doi]
- On Bounded-Memory Stream Data Processing with Description LogicsÖzgür Lütfü Özçep, Ralf Möller 0001. 639-660 [doi]