Keyphrases
- logic programming
- modal logic
- iris recognition
- multi valued
- theorem prover
- classical logic
- automated reasoning
- sound and complete axiomatization
- epistemic logic
- computational properties
- data sets
- search engine optimization
- region of interest
- neural network
- formal methods
- defeasible logic
- iris images
- nonmonotonic logics
- step by step instructions
- edge detection
- deontic logic