527 search results - page 47 / 106 » Towards a Natural Way of Reasoning |
LPAR
2005
Springer
15 years 3 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...
AI
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...