Login / Signup

Using propositional logic to compute probabilities in multistate systems.

Bernhard AnrigPaul-André Monney
Published in: Int. J. Approx. Reason. (1999)
Keyphrases
  • propositional logic
  • first order logic
  • belief revision
  • expert systems
  • propositional satisfiability
  • davis putnam
  • horn logic
  • domain knowledge
  • belief change
  • possibilistic logic
  • lattice theory