extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...