Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.
Michael LeuschelGermán VidalPublished in: ESOP (2005)
Keyphrases
- partial deduction
- logic programs
- hypothetical reasoning
- filtering algorithm
- adaptive filtering
- logic programming
- multiscale
- closely related
- image filtering
- data structure
- multiresolution
- software engineering
- open source
- neural network
- information filtering
- image processing
- bi directional
- knowledge base
- filtering process
- computer vision
- legal cases
- artificial intelligence