Context knowledge and search control issues in object-oriented Prolog-based image understanding

This publication has 7 references indexed in Scilit:

• Detecting buildings in aerial images
  Computer Vision, Graphics, and Image Processing, 1988
• Knowledge representation and control in computer vision systems
  IEEE Expert, 1988
• Intelligent Backtracking in Plan-Based Deduction
  IEEE Transactions on Pattern Analysis and Machine Intelligence, 1985
• Rule-Based Interpretation of Aerial Imagery
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Increasing tree search efficiency for constraint satisfaction problems
  Artificial Intelligence, 1980
• A Syntactic Approach to Shape Recognition Using Attributed Grammars
  IEEE Transactions on Systems, Man, and Cybernetics, 1979
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965