Keyphrases
- modal logic
- classical logic
- proof theory
- logic programming
- real time
- data mining
- neural network
- set theory
- defeasible logic
- linear temporal logic
- delay insensitive
- multiple inheritance
- predicate logic
- computational properties
- logical framework
- multi valued
- automated reasoning
- expert systems
- database systems
- search engine
- artificial intelligence
- information retrieval
- real world