Temporalization of Probabilistic Propositional Logic.
Pedro BaltazarPaulo MateusPublished in: LFCS (2009)
Keyphrases
- propositional logic
- probabilistic knowledge
- belief revision
- first order logic
- uncertain databases
- quantified boolean formulae
- possibilistic logic
- proof procedure
- lattice theory
- probabilistic logic
- probabilistic reasoning
- belief change
- propositional satisfiability
- horn logic
- bayesian networks
- satisfiability testing
- expert systems
- valued logic
- davis putnam
- propositional formulas
- uncertain data