Keyphrases
- classical logic
- automated reasoning
- computational properties
- case study
- first order logic
- sound and complete axiomatization
- digital circuits
- artificial intelligence
- website
- multi valued
- natural language
- real time
- logic programming
- inference rules
- modal logic
- database systems
- search engine
- real world
- neural network
- data sets