Complexity of Some Problems in Modal and Intuitionistic Calculi.

Larisa Maksimova Andrei Voronkov

Published in: CSL (2003)

Keyphrases

decision problems
expert systems
reasoning problems
optimization problems
decision trees
genetic algorithm
simulated annealing
tractable cases
computational issues
linear logic
np hardness
solving problems
description logics
worst case
state space
computational complexity
search algorithm
information systems