Absolute Probability Functions for Intuitionistic Propositional Logic.
Peter RoeperHugues LeblancPublished in: J. Philos. Log. (1999)
Keyphrases
- propositional logic
- probability functions
- belief functions
- probability function
- fuzzy numbers
- first order logic
- belief revision
- density function
- probability estimates
- theorem prover
- fuzzy set theory
- factor graphs
- quantified boolean formulae
- classical logic
- message passing
- satisfiability testing
- logical framework
- cost sensitive
- text classification
- probability distribution
- query language
- np hard