Technical Reports

2010

Bibtex Entry

@TechReport{ BaLiLi-LTCS-10-01,
    author      = {Franz Baader and Marcel Lippmann and Hongkai Liu},
    title       = {Adding Causal Relationships to {DL}-based Action Formalisms},
    institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
    year        = 2010,
    type        = {LTCS-Report},
    number      = {10-01},
    address     = {Dresden, Germany},
    note        = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{PenTur-ltcs-10-02,
  author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
  title = {Completion-based computation of least common subsumers with
           limited role-depth for {${\mathcal{EL}$}} and
           Prob-{${\mathcal{EL}^{01}}$}},
institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2010,
  type =         {LTCS-Report},
  number =       {LTCS-10-02},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{PenTur-ltcs-10-03,
  author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
  title = {Completion-based computation of most specific concepts with
           limited role-depth for {${\mathcal{EL}$}} and
           Prob-{${\mathcal{EL}^{01}}$}},
institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2010,
  type =         {LTCS-Report},
  number =       {LTCS-10-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BaMo-LTCS-10-04,
    author      = {Franz Baader and Barbara Morawska},
    title       = {SAT Encoding of Unification in $\mathcal{EL}$},
    institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
    year        = 2010,
    type        = {LTCS-Report},
    number      = {10-04},
    address     = {Dresden, Germany},
    note        = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{BoPe-ltcs-10-05,
  author = 	 {Stefan Borgwardt and Rafael Pe{\~n}aloza},
  title = {Complementation and Inclusion of Weighted Automata on Infinite Trees},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2010,
  type =         {LTCS-Report},
  number =       {LTCS-10-05},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}