Login / Signup
An ExpTime Tableau Decision Procedure for ALCQI.
Yu Ding
Volker Haarslev
Published in:
Description Logics (2007)
Keyphrases
</>
description logics
exptime complete
knowledge base
tableau calculus
reasoning tasks
knowledge representation and reasoning
decision making
decision makers
knowledge representation
reasoning systems
search algorithm
decision problems
expert systems
query processing