The Tense Logic for Master Argument in Prior's Reconstruction.
Tomasz JarmuzekAndrzej PietruszczakPublished in: Stud Logica (2009)
Keyphrases
- prior knowledge
- image reconstruction
- logic based argumentation
- hypothetical reasoning
- maximum a posteriori
- classical logic
- multi valued
- discrete tomography
- compressed sensing
- modal logic
- three dimensional
- neural network
- reconstructed image
- temporal relations
- predicate logic
- automated reasoning
- data sets
- compressive sensing
- prior information
- reconstruction process
- tomographic reconstruction
- asynchronous circuits
- high resolution