3891 search results - page 595 / 779 » A logic for strategic reasoning |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
ECCV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
FIDJI
2004
Springer
14 years 2 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...