default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019
- Carsten Lutz, Uli Sattler
, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 - Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. 1-14 - Peter Baumgartner, Uwe Waldmann:
Hierarchic Superposition Revisited. 15-56 - Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli:
Theory Combination: Beyond Equality Sharing. 57-89 - Alexander Borgida:
Initial Steps Towards a Family of Regular-Like Plan Description Logics. 90-109 - Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. 110-134 - Gerhard Brewka, Markus Ulbricht:
Strong Explanations for Nonmonotonic Reasoning. 135-146 - Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
A KLM Perspective on Defeasible Reasoning for Description Logics. 147-173 - Pedro Cabalar, Torsten Schaub:
Temporal Logic Programs with Temporal Description Logic Axioms. 174-186 - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
The What-To-Ask Problem for Ontology-Based Peers. 187-211 - Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. 212-239 - Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß:
Situation Calculus Meets Description Logics. 240-265 - Katrin M. Dannert, Erich Grädel:
Provenance Analysis: A Perspective for Description Logics? 266-285 - Marcelo Finger:
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. 286-300 - Enrico Franconi, Volha Kerhet:
Effective Query Answering with Ontologies and DBoxes. 301-328 - Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev:
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. 329-351 - Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher:
Perceptual Context in Cognitive Hierarchies. 352-366 - Steffen Hölldobler:
Do Humans Reason with E -Matchers? 367-384 - Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann:
Pseudo-contractions as Gentle Repairs. 385-403 - Stephanie McIntyre, David Toman, Grant E. Weddell:
FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. 404-430 - Bernhard Nebel:
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty. 431-440 - Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Temporally Attributed Description Logics. 441-474 - Rafael Peñaloza:
Explaining Axiom Pinpointing. 475-496 - Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran:
Asymmetric Unification and Disunification. 497-522 - Christophe Ringeissen:
Building and Combining Matching Algorithms. 523-541 - "Johann" Sebastian Rudolph:
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. 542-561 - Manfred Schmidt-Schauß:
A Note on Unification, Subsumption and Unification Type. 562-572 - David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
15 Years of Consequence-Based Reasoning. 573-587 - Marco Wilhelm, Gabriele Kern-Isberner:
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. 588-609 - Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky:
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. 610-638 - Özgür Lütfü Özçep, Ralf Möller:
On Bounded-Memory Stream Data Processing with Description Logics. 639-660
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
