A PSpace-algorithm for ALCQI-satisfiability

From International Center for Computational Logic
Toggle side column

A PSpace-algorithm for ALCQI-satisfiability

Stephan TobiesStephan Tobies
Stephan Tobies
A PSpace-algorithm for ALCQI-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-09, 1999. LTCS-Report
@techreport{ Tobies-LTCS-99-09,
  address = {Germany},
  author = {S. {Tobies}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.},
  number = {LTCS-99-09},
  title = {A {PSpace}-algorithm for {ALCQI}-satisfiability},
  type = {LTCS-Report},
  year = {1999},
}