Description Logic, Theory Combination, and All That

Keyphrases

Publications

2019

Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann
Pseudo-contractions as Gentle Repairs. Description Logic, Theory Combination, and All That (2019)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That (2019)
Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
Perceptual Context in Cognitive Hierarchies. Description Logic, Theory Combination, and All That (2019)
Gerhard Brewka, Markus Ulbricht
Strong Explanations for Nonmonotonic Reasoning. Description Logic, Theory Combination, and All That (2019)
Pedro Cabalar, Torsten Schaub
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That (2019)
Bernhard Nebel
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty. Description Logic, Theory Combination, and All That (2019)
Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
Theory Combination: Beyond Equality Sharing. Description Logic, Theory Combination, and All That (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
ℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That (2019)
"Johann" Sebastian Rudolph
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. Description Logic, Theory Combination, and All That (2019)
Katrin M. Dannert, Erich Grädel
Provenance Analysis: A Perspective for Description Logics? Description Logic, Theory Combination, and All That (2019)
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That (2019)
Enrico Franconi, Volha Kerhet
Effective Query Answering with Ontologies and DBoxes. Description Logic, Theory Combination, and All That (2019)
Özgür Lütfü Özçep, Ralf Möller
On Bounded-Memory Stream Data Processing with Description Logics. Description Logic, Theory Combination, and All That (2019)
Rafael Peñaloza
Explaining Axiom Pinpointing. Description Logic, Theory Combination, and All That (2019)
Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That (2019)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That (2019)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That (2019)
Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran
Asymmetric Unification and Disunification. Description Logic, Theory Combination, and All That (2019)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition Revisited. Description Logic, Theory Combination, and All That (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That (2019)
Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That (2019)
Christophe Ringeissen
Building and Combining Matching Algorithms. Description Logic, Theory Combination, and All That (2019)
Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That (2019)
Manfred Schmidt-Schauß
A Note on Unification, Subsumption and Unification Type. Description Logic, Theory Combination, and All That (2019)
Steffen Hölldobler
-Matchers? Description Logic, Theory Combination, and All That (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That (2019)
Stephanie McIntyre, David Toman, Grant E. Weddell
FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Description Logic, Theory Combination, and All That (2019)
Marco Wilhelm, Gabriele Kern-Isberner
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That (2019)
Alexander Borgida
Initial Steps Towards a Family of Regular-Like Plan Description Logics. Description Logic, Theory Combination, and All That (2019)
Marcelo Finger
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. Description Logic, Theory Combination, and All That (2019)

volume 11560, 2019

Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Description Logic, Theory Combination, and All That 11560 (2019)