Login / Signup
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains.
Inanç Seylan
Riza Cenk Erdur
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
description logics
modal operators
number restrictions
knowledge base
modal logic
tableau calculus
decision making
decision makers
upper bound
dynamic logic
decision rules
search procedure
proof procedure
rule base
knowledge representation and reasoning
dl lite
knowledge representation
lower bound