Keyphrases
- logic programs
- logic programming
- parallel thinning
- medial axis
- first order logic
- shape analysis
- horn clauses
- distance transform
- statistical relational learning
- thinning algorithm
- skeleton extraction
- shape representation
- function symbols
- image processing
- database
- medial axis transform
- bayesian networks
- artificial intelligence
- neural network