The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Description Logic, Theory Combination, and All That"( http://dblp.L3S.de/Venues/Description_Logic,_Theory_Combination,_and_All_That )

URL (DBLP): http://dblp.uni-trier.de/db/conf/birthday

Publication years (Num. hits)
2019 (31)
Publication types (Num. hits)
inproceedings(30) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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