A proof rule for the "it it" generalized control structure.
Tudor BalanescuPublished in: Bull. EATCS (1984)
Keyphrases
- control structure
- image interpretation
- control structures
- image understanding
- intermediate level
- production system
- manufacturing systems
- reactive planning
- knowledge representation
- active databases
- rule learning
- image segmentation
- production rules
- pattern recognition
- linear logic
- computer vision
- logical rules
- neural network