Cubical Assemblies and Independence of the Propositional Resizing Axiom.
Taichi UemuraPublished in: CoRR (2018)
Keyphrases
- propositional logic
- first order logic
- digital images
- inference rules
- image resizing
- content aware
- modal logic
- default logic
- horn clauses
- topology preserving
- independence assumption
- conditional independence
- multi valued
- dct domain
- strips planning
- prime implicates
- database systems
- knowledge representation
- probabilistic logic
- thinning algorithm
- input image
- seam carving
- neural network
- satisfiability testing