Keyphrases
- real time image processing
- modal logic
- classical logic
- high speed
- real time
- logic programming
- building blocks
- hardware implementation
- automated reasoning
- multi valued
- modular architecture
- fpga implementation
- hardware design
- hardware architecture
- fpga hardware
- deontic logic
- epistemic logic
- defeasible logic
- computer systems
- logic programs
- low cost
- data sets