Keyphrases
- logic programming
- modal logic
- neural network
- classical logic
- deontic logic
- computational properties
- information retrieval
- multi valued
- update semantics
- real time
- automated reasoning
- nonmonotonic reasoning
- database systems
- knowledge base
- artificial intelligence
- learning algorithm
- machine learning
- data mining
- real world