31 search results - page 1 / 7 » Focusing the Inverse Method for Linear Logic |
CSL
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
CADE
2005
Springer
14 years 4 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
CADE
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
ENTCS
2008
13 years 4 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
ICIP
2000
IEEE
2000
IEEE
Inverse Filters for Reconstruction of Arbitrarily Focused Images from two Differently Focused Images
14 years 6 months ago
This paper describes a novel ltering method to reconstruct an arbitrarily focused image from two dierently focused images. Based on the assumption that image scene has two layers...