Keyphrases
- modal logic
- truth values
- inference rules
- temporal logic
- decision procedures
- expressive power
- conditional logic
- nonmonotonic logics
- classical logic
- epistemic logic
- learning theory
- concept lattice
- conceptual clustering
- databases
- database
- graphical models
- situation calculus
- default logic
- knowledge discovery
- association rules
- machine learning
- real time