Optimised ExpTime Tableaux for S H I N over Finite Residuated Lattices.

Jian Huang Xinye Zhao Jianxing Gong

Published in: J. Appl. Math. (2014)

Keyphrases

description logics
upper bound
first order logic
modal logic
finite automata
tree automata
data mining
decision problems
fixpoint