Keyphrases
- logic programming
- proof theory
- modal logic
- geometric structure
- geometric information
- classical logic
- computer vision
- information systems
- abductive reasoning
- geometric features
- delay insensitive
- natural deduction
- deontic logic
- formal theory
- digital circuits
- logical framework
- probabilistic logic
- neural network
- geometric constraints
- inference rules
- high order
- binary images
- social networks
- search engine