Login / Signup

Counting complexity of propositional abduction.

Miki HermannReinhard Pichler
Published in: J. Comput. Syst. Sci. (2010)
Keyphrases
  • computational complexity
  • space complexity
  • propositional knowledge base
  • database
  • computational cost
  • first order logic
  • decision problems
  • logic programming
  • propositional logic
  • model counting