Keyphrases
- quadtree
- logic programming
- connected components
- programming language
- data structure
- expert systems
- knowledge representation
- theorem proving
- knowledge base
- r tree
- prolog programs
- logic programs
- concurrent execution
- multiresolution
- multiscale
- image processing
- programming paradigms
- hierarchical reinforcement learning
- binary images
- mutual exclusion
- logic programming language
- inference engine
- genetic algorithm
- artificial intelligence