Keyphrases
- human visual system
- high speed
- logic programming
- website
- modal logic
- databases
- deontic logic
- computational properties
- logical framework
- automated reasoning
- information systems
- real time
- wavelet transform
- image data
- multi valued
- probabilistic logic
- genetic algorithm
- neural network
- empirically derived
- sound and complete axiomatization