In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
Simon Hartley, Marc Cavazza, Louis Bec, Jean-Luc L...
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...