Publications

2005

Bibtex Entry

@InProceedings{BaaderBrandtLutz-IJCAI-05,
  author = 	 {F. Baader and S. Brandt and C. Lutz},
  title = 	 {Pushing the $\mathcal{EL}$ Envelope},
  booktitle = 	 {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence {IJCAI-05}},
  year = 	 {2005},
  address = 	 {Edinburgh, UK},
  publisher = {Morgan-Kaufmann Publishers},
}

Bibtex Entry

@InProceedings{BaaderGhilardiFroCoS05,
  author =       {F. Baader and S. Ghilardi},
  title =        {Connecting Many-Sorted Structures and Theories through Adjoint Functions},
  booktitle =    {Proceedings of the 5th International Workshop on Frontiers of Combining 
                  Systems (FroCoS'05)},
  editors =      {B. Gramlich},
  year =         2005,
  series =       {Lecture Notes in Artificial Intelligence},
  address =      {Vienna (Austria)},
  publisher =    {Springer-Verlag},
  volume =       {3717},
  springer =     {yes},
}

Bibtex Entry

@InProceedings{BaaderGhilardiCADE05,
  author =       {F. Baader and S. Ghilardi},
  title =        {Connecting Many-Sorted Theories},
  booktitle =    {Proceedings of the 20th International Conference on Automated Deduction
                   (CADE-05)},
  editors =      {R. Nieuwenhuis},
  year =         2005,
  series =       {Lecture Notes in Artificial Intelligence},
  address =      {Tallinn (Estonia)},
  publisher =    {Springer-Verlag},
  volume =       {3632},
  pages =        {278--294},
  springer =     {yes},
}

Bibtex Entry

@incollection{BaSaJS60,
        author = {Baader, F. and Horrocks, I. and Sattler, U.},
        title = {Description Logics as Ontology Languages for the Semantic Web},
        booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday},
        editor = {D. Hutter and W. Stephan},
        publisher =    {Springer-Verlag},
        series =       {Lecture Notes in Artificial Intelligence},
        volume =       {2605},
        pages = {228--248},
        year = {2005},
        springer = {yes},
}

Bibtex Entry

@InProceedings{BaLuMiSaWo-WSS-2005,
  author = 	 {F. Baader and C. Lutz and M. Milicic and U. Sattler and F. Wolter},
  title = 	 {A Description Logic Based Approach to Reasoning about Web Services},
  booktitle = 	 {Proceedings of the WWW 2005 Workshop on Web Service Semantics ({WSS2005})},
  year = 	 {2005},
  address = 	 {Chiba City, Japan},
}

Bibtex Entry

@InProceedings{BaLuMiSaWo-AAAI-2005,
  author = 	 {F. Baader and C. Lutz and M. Milicic and U. Sattler and F. Wolter},
  title = 	 {Integrating Description Logics and Action Formalisms: First Results},
  booktitle = 	 {Proceedings of the Twentieth  National Conference on Artificial Intelligence ({AAAI-05})},
  year = 	 {2005},
  address = 	 {Pittsburgh, PA, USA},
}

Bibtex Entry

@InProceedings{BaaderEtAlDL05b,
  author = 	 {F. Baader and C. Lutz and M. Milicic and U. Sattler and F. Wolter},
  title = 	 {Integrating Description Logics and Action Formalisms: First Results},
  booktitle = {Proceedings of the 2005 International Workshop on Description Logics ({DL2005})},
  year = {2005},
  series = {CEUR-WS},
  number = {147}
}

Bibtex Entry

@InProceedings{BaaLutSun-M4M-05,
  author = 	 {F. Baader and C. Lutz and B. Suntisrivaraporn},
  title = 	 {Is Tractable Reasoning in Extensions of the Description Logic $\mathcal{EL}$ Useful in Practice?},
  booktitle = 	 {Proceedings of the Methods for Modalities Workshop (M4M-05)},
  year =	 2005,
  address = {Berlin, Germany}
}

Bibtex Entry

@Book{BaaderLPAR2004,
 title =        {11th International Conference on Logic for Programming,
                 Artificial Intelligence, and Reasoning {LPAR 2004}},
 editor =       {F. Baader and A. Voronkonv},
 publisher =    {Springer-Verlag},
 series =       {Lecture Notes in Artificial Intelligence},
 volume =       {3452},
 address =      {Montevideo, Uruguay},
 year =         2005,
}

Bibtex Entry

@InProceedings{BaaderEtAlDL05,
  author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en},
  title = {A New $n$-ary Existential Quantifier in Description Logics},
  booktitle = {Proceedings of the 2005 International Workshop on Description Logics ({DL2005})},
  year = {2005},
  series = {CEUR-WS},
  number = {147}
}

Bibtex Entry

@InProceedings{BaaderEtAlKI05,
  author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en},
  title = {A New $n$-ary Existential Quantifier in Description Logics},
  booktitle =    {Proceedings of the 28th Annual German Conference on Artificial Intelligence, {KI 2005}},  
  year =         2005,
  pages     = {18--33},
  volume    = {3698},
  series =       {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer-Verlag},
  springer =     {yes},
}

Bibtex Entry

@InProceedings{BrandtModel-KI2005,
  author =       {Sebastian Brandt and J{\"o}rg Model},
  title =        {Subsumption in {$\cal EL$} w.r.t.\ hybrid TBoxes},
  booktitle =    {Proceedings of the 28th Annual German Conference on Artificial Intelligence, {KI 2005}},  
  year =         2005,
  series =       {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer-Verlag},
  springer =     {yes},
}

Bibtex Entry

@InProceedings{Hladik-DL-2005,
  author = 	 {J. Hladik},
  title = 	 {A Generator for Description Logic Formulas},
  booktitle = 	 {Proceedings of DL 2005},
  year =	 2005,
  editor =	 {I. Horrocks and U. Sattler and F. Wolter},
  publisher =	 {CEUR-WS},
  note =	 {Available from \texttt{ceur-ws.org}}
}

Bibtex Entry

@Article{LangeLutzJSL05,
  author =       "M. Lange and C. Lutz",
  title =        "2-ExpTime lower bounds for Propositional Dynamic Logics with intersection",
  journal =      "Journal of Symbolic Logic",
  volume = {70},
  number = {5},
  pages = {1072--1086},
  year =   {2005},
}

Bibtex Entry

@InProceedings{Lutz-CSL-01,
  author =       {C. Lutz},
  title =        {PDL with Intersection and Converse is Decidable},
  booktitle =    {Annual Conference of the European Association for Computer Science Logic CSL'05},
  year =         2005,
  series =       {LNCS},
  publisher =    {Springer Verlag}
}

Bibtex Entry

@Article{LuArHoSaJAIR05,
  author =       "C. Lutz and C. Areces and I. Horrocks and U. Sattler",
  title =        "Keys, Nominals, and Concrete Domains",
  journal =      "Journal of Artificial Intelligence Research",
  year = 	 {2005},
  volume =       "23",
  pages =        "667--726"
}

Bibtex Entry

@InProceedings{LutzMilicic-Tableaux2005,
  author =       {C. Lutz and M. Milicic},
  title =        {A Tableau Algorithm for Description Logics with Concrete Domains and GCIs},
  booktitle =    {Proceedings of the 14th International Conference on 
  Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2005}},
  year =         2005,
  address =      {Koblenz, Germany},
  publisher =    {Springer},
  series =       {LNAI},
  springer =     {yes}
}

Bibtex Entry

@InProceedings{LutzMilicic-DL-2005,
  author =  {C. Lutz and M. Milicic},
  title = {A Tableau Algorithm for DLs with Concrete Domains and GCIs},
  booktitle = {Proceedings of the 2005 International Workshop on Description Logics ({DL2005})},
  year = {2005},
  series = {CEUR-WS},
  number = {147}
}

Bibtex Entry

@Article{Lutz-et-al-IANDC-05,
  author =       "C. Lutz and U. Sattler and L. Tendera",
  title =        "The Complexity of Finite Model Reasoning in Description Logics",
  journal =      "Information and Computation",
  year =         "2005",
  volume =	 "199",
  pages =        "132--171"
}

Bibtex Entry

@Article{LutzWaltherJANCL05,
  author =       "C. Lutz and D. Walther",
  title =        "PDL with Negation of Atomic Programs",
  journal =      "Journal of Applied Non-Classical Logic",
  year =         {2005},
  volume =       "15",
  number =       "2",
  pages =        "189--214"
}

Bibtex Entry

@InProceedings{LutzWaltherWolter-TIME-05,
  author =    {C. Lutz and D. Walther and F. Wolter},
  title =     {Quantitative Temporal Logics: {\sc PSpace} and below},
  booktitle = {Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning},
  year =      {2005},
  publisher = {IEEE Computer Society Press},
  address =   {Burlington, VT, USA}
}

Bibtex Entry

@InCollection{Turhan-ftp-05,
  author = 	 {Anni-Yasmin Turhan},
  title = 	 {Pushing the {SONIC} border --- {SONIC} 1.0},
  editor	= {Reinhold Letz},
  booktitle	= {FTP 2005 --- Fifth International Workshop on First-Order
		  Theorem Proving},
  publisher	= {Technical Report University of Koblenz},
  year		=  2005,
  type		= {Fachberichte Informatik},
  note		= {http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf}
}