4224 search results - page 83 / 845 » Reasoning about Choice |
148
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
161
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
123
Voted
JOLLI
2002
15 years 5 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
130
Voted
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
We present a new model of human mate choice incorporating non-negligible courtship time. The courtship period is used by individuals to strategically swap to better partners when t...
154
click to vote
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...