We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
The field of multi-robot coordination, specifically robot formation control, is rapidly expanding, with many applications proposed. In our previous work, we considered the problem...
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...