Keyphrases
- information retrieval
- modal logic
- neural network
- epistemic logic
- search engine
- database
- logic programming
- real world
- predicate logic
- computational properties
- multi valued
- classical logic
- automated reasoning
- linear logic
- abductive reasoning
- logical framework
- data mining
- inference rules
- data model
- decision making
- genetic algorithm