Elske van der Vaart

Learn More
Scrub jays are thought to use many tactics to protect their caches. For instance, they predominantly bury food far away from conspecifics, and if they must cache while being watched, they often re-cache their worms later, once they are in private. Two explanations have been offered for such observations, and they are intensely debated. First, the birds may(More)
Caching and recovery of food by corvids is well-studied, but some ambiguous results remain. To help clarify these, we built a computational cognitive model. It is inspired by similar models built for humans, and it assumes that memory strength depends on frequency and recency of use. We compared our model's behavior to that of real birds in previously(More)
Whether any non-human animal can attribute mental states to others remains the subject of extensive debate. This despite the fact that several species have behaved as if they have a 'theory of mind' in various behavioral tasks. In this paper, we review the reasons of skeptics for their doubts: That existing experimental setups cannot distinguish between(More)
The question " What drove foragers to farm? " has drawn answers from many different disciplines, often in the form of verbal models. Here, we take one such model, that of the ideal free distribution, and implement it as an agent-based computer simulation. Populations distribute themselves according to the marginal quality of different habitats, predicting(More)
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions, or the evolution of traits. In these cases, patterns of interest can usually be investigated by constructing the appropriate multi-agent system, and then varying or evolving(More)
We present OOPS, an open source, cross-platform, easy-to-run tableau prover for S5n. OOPS is aimed at education in modal logics. Thus, it has several features that enable insight into its internal workings. Specifically, OOPS allows tableaux to be visualized and can generate counter-models for formulas that are not provable. Moreover, the OOPS Graphical(More)
  • 1