Keyphrases
- logical properties
- predicate calculus
- logical language
- formal semantics
- image features
- logic programming
- logical rules
- semantic information
- model theoretic
- logical theories
- dynamic logic
- logical framework
- complex structures
- computer vision
- owl ontologies
- hierarchical structures
- feature set
- programming language
- feature vectors
- knowledge base
- databases