Keyphrases
- logic programming
- asynchronous circuits
- modal logic
- multi valued
- deontic logic
- neural network
- face recognition
- security analysis
- image authentication
- biometric authentication
- sound and complete axiomatization
- databases
- factor authentication
- identity authentication
- epistemic logic
- computational properties
- classical logic
- automated reasoning