Keyphrases
- modal logic
- predicate logic
- logic programming
- automated reasoning
- multi valued
- machine learning
- computer vision
- defeasible logic
- computational properties
- evolutionary algorithm
- probabilistic model
- knowledge representation
- formal theory
- classical logic
- logical framework
- neural network
- data model
- expert systems
- web services
- search engine
- data mining