Login / Signup

The Complexity of Decomposing Modal and First-Order Theories.

Stefan GöllerJean Christoph JungMarkus Lohrey
Published in: LICS (2012)
Keyphrases
  • computational complexity
  • worst case
  • theory revision
  • higher order
  • first order logic
  • databases
  • machine learning
  • modal logic
  • real time
  • data mining
  • artificial intelligence
  • bayesian networks