The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carsten Lutz" ( http://dblp.L3S.de/Authors/Carsten_Lutz )

URL (Homepage):  http://www.informatik.uni-bremen.de/~clu/  Author page on DBLP  Author page in RDF  Community of Carsten Lutz in ASPL-2

Publication years (Num. hits)
1997-2001 (15) 2002-2003 (17) 2004-2005 (21) 2006 (15) 2007 (15) 2008 (17) 2009-2010 (21) 2011-2012 (21) 2013-2014 (17) 2015-2016 (21) 2017 (16) 2018-2019 (27)
Publication types (Num. hits)
article(58) book(1) incollection(2) inproceedings(154) phdthesis(1) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 12 keywords

Results
Found 224 publication records. Showing 223 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query inseparability for ALC ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Leif Sabellek A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability for ALC Ontologies. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Cristina Feier, Antti Kuusisto, Carsten Lutz Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris When is Ontology-Mediated Querying Efficient? Search on Bibsonomy LICS 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
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
1Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris PTime Combined Complexity and FPT in Ontology-Mediated Querying. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Thomas Zeume Decidability and Complexity of ALCOIF with Transitive Closure (and More). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anneke Bötcher, Carsten Lutz, Frank Wolter Ontology Approximation in Horn Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antti Kuusisto, Carsten Lutz Weighted model counting beyond two-variable logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antti Kuusisto, Carsten Lutz Weighted model counting beyond two-variable logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002 Querying the Unary Negation Fragment with Regular Path Expressions. Search on Bibsonomy ICDT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Johannes Marti, Leif Sabellek Query Expressibility and Verification in Ontology-Based Data Access. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Anneke Bötcher, Carsten Lutz, Frank Wolter Complete Approximations of Horn DL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. Search on Bibsonomy AMW The full citation details ... 2018 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2017 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder Probabilistic Description Logics for Subjective Uncertainty. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Feier, Antti Kuusisto, Carsten Lutz Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter Conservative Extensions in Guarded and Two-Variable Fragments. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter The Data Complexity of Description Logic Ontologies. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler An Introduction to Description Logic. Search on Bibsonomy 2017   RDF
1Peter Hansen 0002, Carsten Lutz Computing FO-Rewritings in EL in Practice: From Atomic to Conjunctive Queries. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter Conservative Extensions in Guarded and Two-Variable Fragments. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Feier, Antti Kuusisto, Carsten Lutz Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). Search on Bibsonomy ICDT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Carsten Lutz, Leif Sabellek Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Carsten Lutz, Leif Sabellek Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002 Query Conservative Extensions in Horn Description Logics with Inverse Roles. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query and Predicate Emptiness in Ontology-Based Data Access. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter The Data Complexity of Description Logic Ontologies. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carsten Lutz Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk). Search on Bibsonomy STACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Bourhis, Carsten Lutz Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev When is Query Inseparability for ALC Ontologies Decidable? Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Cristina Feier, Antti Kuusisto, Carsten Lutz FO-Rewritability of Expressive Ontology-Mediated Queries. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy Reasoning Web The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter Decidability of Circumscribed Description Logics Revisited. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Frank Wolter On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. Search on Bibsonomy ICDT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter Schema.org as a Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Carsten Lutz Query Rewriting Beyond DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes: First Results. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Carsten Lutz, Silvio Ranise (eds.) Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter Schema.org as a Description Logic. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter Efficient Query Rewriting in the Description Logic EL and Beyond. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Ontology-Mediated Queries with Closed Predicates. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Benedikt, Carsten Lutz, Balder ten Cate Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Michael Thielscher (eds.) KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings Search on Bibsonomy KI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz, Sergey Goncharov 0001, Lutz Schröder Monodic Fragments of Probabilistic First-Order Logic. Search on Bibsonomy ICALP (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider 0002 Finite Model Reasoning in Horn Description Logics. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter Query Rewriting under EL TBoxes: Efficient Algorithms. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Model-theoretic inseparability and modularity of description logic ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz Ontology-Based Access to Probabilistic Data. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider 0002 Finite Model Reasoning in Horn-SHIQ. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter Exact Learning of TBoxes in EL and DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter First-Order Rewritability of Atomic Queries in Horn Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Franz Baader, Silvio Ghilardi, Carsten Lutz LTL over description logic axioms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Carsten Lutz Ontology-Based Access to Probabilistic Data with OWL QL. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter The Combined Approach to OBDA: Taming Role Hierarchies using Filters. Search on Bibsonomy SSWS+HPCSW@ISWC The full citation details ... 2012 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz Complexity of Branching Temporal Description Logics. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query Containment in Description Logics Reconsidered. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Non-Uniform Data Complexity of Query Answering in Description Logics. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Carsten Lutz, Frank Wolter Deciding FO-Rewritability in EL. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Carsten Lutz, Inanç Seylan, Frank Wolter Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter Foundations of instance level updates in expressive description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter Fusions of Description Logics and Abstract Description Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler Conjunctive Query Answering for the Description Logic SHIQ Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Robert Piro, Frank Wolter Description Logic TBoxes: Model-theoretic Characterizations and Rewritability Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder A Closer Look at the Probabilistic Description Logic Prob-EL. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder The Complexity of Probabilistic EL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Non-Uniform Data Complexity of Query Answering in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Carsten Lutz Status QIO: An Update. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Carsten Lutz, Frank Wolter Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 223 (100 per page; Change: )
Pages: [1][2][3][>>]
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