Technical Reports

2011

Bibtex Entry

@TechReport{BBBM-LTCS-11-01,
    author      = {Franz Baader and Nguyen Thanh Binh and Stefan Borgwardt and Barbara Morawska},
    title       = {Unification in the Description Logic {$\mathcal{EL}$} Without the Top Concept},
    institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
    year        = 2011,
    type        = {LTCS-Report},
    number      = {11-01},
    address     = {Dresden, Germany},
    note        = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{BoPe-LTCS-11-02,
  author      = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
  title       = {Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2011,
  type        = {LTCS-Report},
  number      = {11-02},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Pena-LTCS-11-03,
  author      = {Rafael Pe{\~n}aloza},
  title       = {Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2011,
  type        = {LTCS-Report},
  number      = {11-03},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BoMo-LTCS-11-04,
  author      = {Stefan Borgwardt and Barbara Morawska},
  title       = {Finding Finite {H}erbrand Models},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2011,
  type        = {LTCS-Report},
  number      = {11-04},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BaBM-LTCS-11-05,
  author      = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title       = {Unification in the Description Logic {$\mathcal{EL}$} w.r.t.\ Cycle-Restricted {TB}oxes},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2011,
  type        = {LTCS-Report},
  number      = {11-05},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BoPe-LTCS-11-06,
  author      = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
  title       = {Undecidability of Fuzzy Description Logics},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2011,
  type        = {LTCS-Report},
  number      = {11-06},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}