Technical Reports

2005

Bibtex Entry

@TechReport{BaaderBrandtLutz-LTCS-05-01,
  author =       {F.~Baader and S.~Brandt and C.~Lutz},
  title =        {Pushing the EL Envelope},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-01},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{BMLSW-LTCS-05-02,
  author =       {F.~Baader and M.~Milicic and C.~Lutz and U.~Sattler and F.~Wolter},
  title =        {Integrating Description Logics and Action Formalisms for Reasoning about Web Services},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-02},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{LutzWaltherWolter-LTCS-05-03,
  author =       {C.~Lutz and D.~Walther and F.~Wolter},
  title =        {Quantitative Temporal Logics: PSpace and below},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{BaaderGhilardiLTCS-05-04,
  author =       {Franz Baader and Silvio Ghilardi},
  title =        {Connecting Many-Sorted Theories},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-04},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{Lutz-LTCS-05-05,
  author =       {C.~Lutz},
  title =        {PDL with Intersection and Converse is Decidable},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-05},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{BonattiLutzWolter-LTCS-05-06,
  author =       {P.~Bonatti and C.~Lutz and F.~Wolter},
  title =        {Expressive Non-Monotonic Description Logics Based on Circumscription},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-06},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{LutzMilicic-LTCS-05-07,
  author =       {C.~Lutz and M.~Milicic},
  title =        {A Tableau Algorithm for DLs with Concrete Domains and GCIs},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-07},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{{BaaderEtAll-LTCS-05-08,
  author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en},
  title = {A New $n$-ary Existential Quantifier in Description Logics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-08},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{Lutz-LTCS-05-09,
  author =       {C.~Lutz},
  title =        {Complexity and Succinctness of Public Announcement Logic},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-09},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{LiLuMiWo-LTCS-05-10,
  author =       {H.~Liu and C.~Lutz and M.~Milicic and F.~Wolter},
  title =        {Updating Description Logic ABoxes},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-10},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}