Keyphrases
- modal logic
- truth values
- machine learning
- temporal logic
- computer vision
- inference rules
- conceptual clustering
- epistemic logic
- expressive power
- classical logic
- concept lattice
- default logic
- databases
- real time
- model checking
- evolutionary algorithm
- knowledge base
- real world
- comprehensive set
- nonmonotonic logics
- mathematical foundations