Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- conditional logic
- sentiment analysis
- classical logic
- default logic
- epistemic logic
- explanation based generalization
- dynamic logic
- opinion mining
- computer programming
- prime implicates
- positive or negative
- dynamic programming
- situation calculus
- model checking
- probability distribution