Keyphrases
- expert systems
- image reconstruction
- logic programming
- compressed sensing
- reconstruction method
- high resolution
- logical rules
- prolog programs
- programming language
- reconstruction error
- logic programming language
- shape recovery
- computer vision
- low resolution
- image compression
- logical framework
- logic programs
- tomographic reconstruction
- high level
- backward chaining
- three dimensional
- logical representation
- semantically equivalent
- logical operations
- image processing