Login / Signup
Implicational Relevance Logic is 2-EXPTIME-Complete.
Sylvain Schmitz
Published in:
CoRR (2014)
Keyphrases
</>
exptime complete
description logics
expressive power
data complexity
expressive description logics
pspace complete
modal logic
logic programming
decision problems
transitive closure
satisfiability problem
multi valued
artificial intelligence
data exchange
query answering
reasoning tasks