Keyphrases
- logic circuits
- logic synthesis
- functional programs
- program synthesis
- markov chain
- cellular automata
- modal logic
- computational properties
- logical framework
- defeasible logic
- database
- multi valued
- classical logic
- automated reasoning
- low power
- digital circuits
- abductive reasoning
- image authentication
- logic programming
- knowledge representation
- neural network
- databases