527 search results - page 47 / 106 » Towards a Natural Way of Reasoning |
168
click to vote
LPAR
2005
Springer
15 years 11 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...
143
click to vote
AI
2004
Springer
15 years 5 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...
135
click to vote
FSTTCS
2009
Springer
16 years 15 days 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...
139
click to vote
CSL
2007
Springer
16 years 3 days 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...
125
click to vote
EWCBR
2004
Springer
15 years 11 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...