Technical Reports

2003

Bibtex Entry

@TechReport{Baader-LTCS-03-01,
  author =       {F.~Baader},
  title =        {The Instance Problem and the Most Specific Concept
       in the Description Logic $\EL$ w.r.t.\ Terminological Cycles
       with Descriptive Semantics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {LTCS-03-01},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BrTuKu-LTCS-03-02,
  author =       {S.~Brandt and A.-Y.~Turhan and R.~K{\"u}sters},
  title =        {Foundations of non-standard Inferences for Description Logics
                   with transitive Roles and Role Hierarchies},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {03-02},
  address =      {Germany}
}

Bibtex Entry

@TechReport{Morawska-LTCS-03-03,
  author =       {B.~Morawska},
  title =        {Completness of $E$-unification with eager Variable 
Elimination},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {LTCS-03-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{LuWa-LTCS-03-04,
  author =       {C.~Lutz and D.~Walther},
  title =        {PDL with Negation of Atomic Programs},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {LTCS-03-04},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BaGiTiLTCS-03-05,
  author =       {F.~Baader and Silvio Ghilardi and Cesare Tinelli},
  title =        {A New Combination Procedure for the Word Problem
       that Generalizes Fusion Decidability Results in Modal Logics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {LTCS-03-05},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}