Sign in

The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories.

Cheng-Chia ChenI-Peng Lin
Published in: LFCS (1994)
Keyphrases
  • theoretical framework
  • decision problems
  • propositional logic
  • computational cost
  • polynomial hierarchy
  • artificial intelligence
  • bayesian networks
  • relational databases
  • modal logic
  • space complexity