Keyphrases
- logic programming
- processor array
- parallel implementation
- predicate logic
- defeasible logic
- computational properties
- image sensor
- logical framework
- automated reasoning
- parallel computation
- knowledge base
- epistemic logic
- deontic logic
- programmable logic
- proof theory
- fiber optic
- optical imaging
- random access memory
- sound and complete axiomatization