In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
we present a cognitively inspired mathematical learning framework called Neural Modeling Fields (NMF). We apply it to learning and recognition of situations composed of objects. NM...
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his...
This paper presents an exploration of the differences between agent-based and population-based models for trust dynamics. This exploration is based on both a large variety of simu...
A new approach for separating mathematics from usual text is presented. Contrary to the existing methods, it is more oriented toward the segmentation than the recognition, isolati...