Consumers tend to choose low deductible levels when buying insurance. It is argued that this tendency has undesirable consequences for both individual consumers and society, and thus its motivation should be better understood. Evidence is reviewed that supports four factors that may motivate choice

avail-able of $1000. The prototypical homeowner paid $100 to reduce the deductible to $500, yet with claim rates under 5 % this additional coverage was worth less than $25 in expectation. Those insured with the company for longer were more likely to hold low deductibles, which can be plausibly explained

, have a recursive nature in that agents ’ expectations are formed on the basis of their anticipations of other agents ’ expectations, which precludes expectations being formed by deductive means. Instead traders continually hypothesize—continually explore—expectational models, buy or sell on the basis

-based programming, uncertainty, etc., offer a convenient framework for KB system development. But they require the user to be well versed with the low level details of system implementation. The manner in which uncertainty is handled has little mathematical basis. There is no decent notion of query optimization

of an instrument and monotone treatment response. Under these two assumption we are able to bound the causal effect of high deductibles compared to low deductibles below zero. We conclude that the difference in health care utilisation is partly due to a reduction of moral

be considered as a low-level trace giving a faithful picture of what has happened at the relational level. The deductive reasoning is lost but can be very easily recovered by a meta-interpreter. In this article we describe a technique to generate explanations by integrating a relational trace

distributions. This gives rise to the new problem of finding the proper form of an insurance contract to impose partial insurance of the low risks. This paper contributes to the discussion on optimal insurance. It analyzes two basic forms of insurance contracts: A contract with a deductible and a contract

We re-investigate a proof example presented by George Boolos which perspicuously illustrates Godel's argument for the potentially drastic increase of proof-lengths in formal systems when carrying through the argument at too low a level. More concretely, restricting the order of the logic

Abstract. Automated deduction systems currently have a low uptake (or even recognition) amongst mathematicians. This paper takes a human computer interaction perspective on the role of automated deduction in mathematics. We first dismiss the fallacy that making systems easy to use will make them

hiding from user the low-level details such as related to distributed computation, resource constraints, energy optimizations, etc. Our system translates a given high-level user program to energy-efficient distributed code that runs on individual network nodes. In this article, we motivate the deductive