More on Descriptive Complexity of Second-Order HORN Logics.

Shiguang Feng Xishun Zhao

Published in: CoRR (2014)

Keyphrases

special case
np hard
computational complexity
expressive power
artificial intelligence
high order
search engine
worst case
decision problems
modal logic
real time
case study
higher order
space complexity