Range-Restricted Interpolation through Clausal Tableaux.

Christoph Wernhard

Published in: CoRR (2023)

Keyphrases

decision procedures
wide range
theorem proving
modal logic
database systems
multiscale
image interpolation
defeasible logic
sparse sampling
artificial intelligence
three dimensional
image quality
functional dependencies
automated reasoning
linear interpolation