One More Logic with Uncertainty and Resolution Principle for it.
Konstantin VershininIgor RomanenkoPublished in: CADE (1992)
Keyphrases
- probability theory
- modal logic
- uncertain data
- classical logic
- logic programming
- belief functions
- consequence finding
- nonmonotonic logics
- computational properties
- ctl model update
- inherent uncertainty
- digital circuits
- predicate logic
- probabilistic knowledge
- proof theory
- artificial intelligence
- decision theory
- high quality