Technical Reports

1996

Bibtex Entry

@TECHREPORT{Baader-Tinelli-LTCS-96,
 author         = {F. Baader and C. Tinelli},
 title          = {A New Approach for Combining Decision Procedures for the Word Problem,
                   and Its Connection to the {Nelson-Oppen} Combination Method},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen},
 year           = 1996,
 type           = {LTCS-Report},
 number         = {LTCS-96-01},
 note           = {An abridged version has appeared in Proc.\ CADE'97, Springer LNAI 1249.},
 ccl            = {yes}
}

Bibtex Entry

@TECHREPORT{BaaderSattler-LTCS-96-02,
 author         = {F. Baader and U. Sattler},
 title          = {Number Restrictions on Complex Roles in Description Logics}, 
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen},
 year           = 1996,
 number         = {LTCS-96-02},
 note           = {An abridged version has appeared in the Proceedings of the
                  Fifth International Conference on Knowledge Representation and
                  Reasoning, 1996, Cambridge, Massachusetts.} 
}

Bibtex Entry

@TECHREPORT{BaaderSattler-LTCS-96-03,
 author         = {F. Baader and U. Sattler},
 title          = {Description Logics with Symbolic Number Restrictions},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen},
 year           = 1996,
 number         = {LTCS-96-03},
 note           = {An abridged version has appeared in the Proceedings of the
                  12th European Conference on Artificial Intelligence, 1996,
                  Budapest, Hungary.}
}

Bibtex Entry

@TechReport{KepserRichts-LTCS-96-04,
  author =       {Kepser, S. and Richts, J.},
  title =        {Optimisation Techniques for Combining Constraint Solvers},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1996,
  type =         {LTCS-Report},  
  number =       {LTCS-96-04},
  address =      {Germany},
}

Bibtex Entry

@TECHREPORT{Baader-LTCS-96,
 author         = {F. Baader},
 title          = {Combination of Compatible Reduction Orderings 
                   that are Total on Ground Terms},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1996,
 type           = {LTCS-Report},
 number         = {LTCS-96-05},
 ccl            = {yes}
}