The Situation Calculus is a logic of time and change in which there is a distinguished initial situation, and all other situations arise from the different sequences of actions that might be performed starting in the initial ...

Linear kinematics and the interpretation of their physical movements entail certain difficulties for students, it is for this reason that in this article two didactic situations are presented, based on the theory of didactic ...

In this paper, we present results about the conceptualization of the relativity of simultaneity and the operational invariants used by high school students. The Theory of Conceptual Fields is adopted to design, analyse and ...

This work presents the Petri net-based modeling of an autonomous robot's navigation system used for the application of supplies in agriculture. The model was developed theoretically and implemented through the CPNTools ...

The availability of low cost sensors and mobile devices allowed many advances in research of ubiquitous and pervasive computing area. With the capture of contextual data provided by the sensors attached to these devices ...