Technical Reports

2008

Bibtex Entry

@TechReport{LTCS-Report08-01,
  author =       {Franz Baader and Silvio Ghilardi and Carsten Lutz},
  title =        {{LTL} over Description Logic Axioms},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2008,
  type =         {LTCS-Report},
  number =       {08-01},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{BaPe-LTCS-07-01,
  author =       {Franz Baader and Rafael Pe{\~n}aloza},
  title =        {Blocking and Pinpointing in Forest Tableaux},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2008,
  type =         {LTCS-Report},
  number =       {LTCS-08-02},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{BaPe-LTCS-08-03,
  author =       {Franz Baader and Rafael Pe{\~n}aloza},
  title =        {Pinpointing in Terminating Forest Tableaux},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2008,
  type =         {LTCS-Report},
  number =       {LTCS-08-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@techreport{ Dist08,
    author =       {Felix Distel},
    title =        {Model-based Most Specific Concepts in Description Logics with Value Restrictions},
    number =       {08-04},
    year =         {2008},
    institution =  {Institute for theoretical computer science, TU Dresden},
    address =      {Dresden, Germany},
    note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

% Encoding: ISO8859_1

@TECHREPORT{BaaDi08,
  author = {Franz Baader and Felix Distel},
  title = {Exploring finite models in the Description Logic {$\mathcal{EL}_\mathrm{gfp}$}},
  institution = {Institute for Theoretical Computer Science, TU Dresden},
  year = {2008},
  type = {LTCS-Report},
  number = {08-05},
  address = {Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{sert-08-06,
  author = {Bar\i\{}\c{s} Sertkaya},
  title  = {Some Computational Problems Related to Pseudo-intents},
  institution = {Chair for Automata Theory, Institute for Theoretical
                 Computer Science, Dresden University of Technology},
  year = 2008,
  type = {LTCS-Report},
  number = {LTCS-08-06},
  address = {Germany},
  note = {See
          http://lat.inf.tu-dresden.de/research/reports.html.},
}