This paper considers the problem of multi robot localization. The analysis is focused on the problem of determining which are the optimal robot trajectories in order to minimize th...
In 1990 J-L. Krivine introduced the notion of storage operators. They are -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modeliz...
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...