Keyphrases
- power consumption
- modal logic
- chip design
- database
- classical logic
- multi valued
- neural network
- decision trees
- natural language
- expert systems
- information systems
- artificial intelligence
- structural features
- automated reasoning
- real world
- logical framework
- computational properties
- predicate logic
- abductive reasoning
- asynchronous circuits
- data sets