Keyphrases
- cognitive science
- automated reasoning
- computational properties
- classical logic
- logic programming
- predicate logic
- search algorithm
- modal logic
- expressive power
- formal language
- digital circuits
- logical framework
- multi valued
- deontic logic
- computational intelligence
- computer science
- artificial intelligence
- linear logic
- neural network
- proof theory
- asynchronous circuits
- database
- abductive reasoning
- information processing
- relational databases
- real world
- data sets