Keyphrases
- modal logic
- linear programming
- distributive lattices
- dual formulation
- boolean algebra
- nonmonotonic logics
- concept lattice
- image processing
- data structure
- hidden markov models
- logic programs
- description logics
- np hard
- databases
- search algorithm
- cooperative
- learning algorithm
- information retrieval
- machine learning
- data mining
- neural network