Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
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...