Keyphrases
- modal logic
- kripke models
- temporal logic
- decision procedures
- nonmonotonic logics
- agent architecture
- functional dependencies
- image segmentation
- genetic algorithm
- computational complexity
- evolutionary algorithm
- databases
- decision trees
- knowledge base
- default logic
- decision making
- computer vision
- reactive planning
- sequent calculi