Tomographic reconstruction of 2-convex polyominoes using dual Horn clauses.
Andrea FrosiniLaurent VuillonPublished in: Theor. Comput. Sci. (2019)
Keyphrases
- tomographic reconstruction
- horn clauses
- horizontal and vertical projections
- convex sets
- image reconstruction
- first order logic
- inference rules
- radon transform
- view angles
- inductive logic programming
- discrete tomography
- logic programs
- database queries
- convex optimization
- limited angle
- convex hull
- linear algebra
- finite number
- back projection
- modal logic
- databases